He doesn't need to format at all.
All he needs to do is just run the windows repair.
Put your Windows XP CD in, and run the Restore/Repair setup, it will fix your issues.
Windows repairs leaves you with ghost installed files everywhere and unneeded registry entries but whatever you say