Tem uns passos aqui que costumam ajudar nesse problema, repassa pro seu amigo que pode ser que ajude:
- Clique em iniciar;
- Digite na pesquisa "CMD";
- Clique com o mouse direito no atalho do Comando Prompt (o CMD) e selecione Executar Como Administrador;
- Digite ipconfig /release;
- Aguarde uns segundos por uma confirmação indicando que o endereço de IP foi liberto;
- Digite ipconfig /renew;
- Aguarde uns segundos por uma confirmação indicando que o endereço de IP foi reestabelecido;
- Digite ipconfig /flushdns