check to ensure he is logging to the domain and not a local account. Also, check and see if he as a local or roaming profile. It is possible he is logging on without pulling the correct profile. Verify authentication after log in by running the set command from a command prompt. This will identify the login server.