Change the boot menu key?

I've recently found that you can change the .vmx file with bios.bootDelay = "5000"  to add a 5 second delay in booting to give yourself time to get into the boot menu, but having the ESC key as the boot menu key is very ridiculous, as if you hit it twice, you go in and right back out of the boot menu.  I'd love to be able to change the key used to an F12 or something.  Does anyone know if this can be done and how? 

Thanks in advance!