He'll might have to configure his connection manually. I believe his DNS adress has to get configured manually, I had a similar problem lately.
So, open Control Panel> Network connections, right click on his connection, open properties, scroll down to "Internet Protocol TCP/IP" and click properties. At the bottom, select "Obtain DNS adress automatically". Then enter his prefered and alternate DNS adress. Save it and close.