Yes, still working for me. I looked up "server DNS address could not be found" in Google. There are a number of potential solutions, including browser cache (unlikely from multiple machines), ipconfig /release and ipconfig /renew, and so on. You could try the same search and implement some of the solutions.