That is what I was thinking but it sounds like either he can't access the bios due to a password setting or the system drive is booting to fast to get to the bios settings.
Blue Man Group There is no such thing as stupid questions. Just stupid answers
