Ned, starting with Windows 8, you don't have to access the boot menu to restore factory settings (luckily!). But when I wiped my last Win 8.1 drive, I still had to Google how to do that. They don't want to make that TOO easy to do, I guess.
That's a result of Secure Boot and UEFI. You get to the recovery options in Windows 8.1 and 10 through the PC settings, Update and Security, Recovery, Advanced Startup. Since this isn't something that's done often, I don't mind it being put there and removed from the boot time function key options.