@pushcx Five attempts to contact them got 1 error and 4 bot autoreplies. Partitioning and installing grub only took 4 tries.