He can make a new user, log into that user and copy his shit (my docs, favorites, desktop, etc) from his old profile to the new user. User/profiles do get jacked up sometimes in Win 7 and I've always found it simpler to just recreate the profile rather than jacking with it for hours.