Hrmm.. Did he see his "normal" boot BIOS options? Did he see the Windows splash screen? Possible BartPE boot?