Sounds like there's a configuration issue. The wireless card clearly works since he can connect to his own router, so that suggests that there is an issue with the software end of things.