On Monday 01 February 2010, Neil Winchurst wrote: > > > > No, because I have not yet been able to call up the BIOS. I suspect the > relevant key is F10. Is that correct? > Usually it is holding the DEL key while booting.