You'd think that the advances of UEFI would have finally saved us from having to mindlessly mash a key during boot to get it into BIOS/Boot select, but nope. Still gotta mash.