> Why are you using GRUB to dual-boot at all? Your machine has UEFI for that. As far as I know, dual booting through UEFI requires me frantically hitting the F

> Why are you using GRUB to dual-boot at all? Your machine has UEFI for that. As far as I know, dual booting through UEFI requires me frantically hitting the F12 button during powerup to get into the boot menu. And then it won't remember your last chosen OS, so stuff like windows updates (requiring multiple reboots) become really annoying. But I'll look into this, maybe I can just ditch grub all together, that would be great! My last linux/grub experience was on non-UEFI machines so I was just so used to installing grub that it didn't cross my mind that I might not need it.