Windows XP is normally pretty robust. Is the primary partition FAT32 or NTFS ? When you say you 'looked' at his computer, how did you start it ?
It almost sounds like he has an NTFS primary and a FAT32 secondary, and you cannot see the OS because it is NTFS.
I may be on the wrong track though.