I wholeheartedly agree.

I was going to mention trying to get into the BIOS after powering back up, but, as you are well aware, exactly which key(s) needs to be pressed to get into the BIOS varies widely. (<-grrr->).