/boot/efi/EFI/BOOT/GRUBX64.EFI

SO, there's that and:

/boot/efi/EFI/GRUB/grubx64.efi

I'll clean up my notes and add them to the wiki.