Acho que estou tendo um problema semelhante
Descobri que, modificando o adaptador de rede, ele parecia corrigir o problema temporariamente. Também sou capaz de me conectar ao servidor através de IP, apenas não DNS.
Reiniciar o DNS parece não ajudar, parece que a correção vem do lado do cliente, mas presumivelmente causada por um problema no lado do servidor.