DNS not resolving for *.vmware.com. Problem has existed for at least a week. Works if I switch to Google DNS (188.8.131.52, 184.108.40.206). Verified with direct modem connection, multiple systems and OSes. Modem is powered off at night by a time switch so it is effectively reset daily. No problem accessing other web sites.