If only there was space to show which key today will bring up the boot or even options menu today. Enter? Esc? F2? F8? F10? F12? Bueller? It was F12 today!