For something that’s vital for my PC to boot properly, I don’t give the GRUB menu much of my attention. I usually hit the power b***on and wander off to make a hot drink or perform a chore, then return to my OS all booted up and ready to go.