When I first tried this out I had difficulty getting into the BIOS. Since then I've received emails from various people (thank you!) pointing out that on power-up the F2 key will get you into the BIOS - but you do have to be quite quick with this.
The BIOS comes from Insyde Software and the version in my unit is 4.00.05, Date: 02/25/03.
The boot options that can be set are: