Oh, it changes depending on BIOS too - I've seen all sorts, {Del**, {F1**, {F2**, {F10**, {F11**
The only guarantee is that whatever the key, it's the one least expected, and the user will have to go through at least one bootup/shutdown cycle 'cos they aren't enough.
