General Questions and Suggestions

[Grim]

Erm, I think the site DNS changed over the past couple of weeks.

Tell him to do this in the command prompt (I assume he's running Windows):

Code:

C:\>ipconfig /flushdns

I hope that fixes it.