Gravar-mail: An 800-MHz all-REBCO Insert for the 1.3-GHz LTS/HTS NMR Magnet Program—A Progress Report