DNS not resolving for *.vmware.com. Problem has existed for at least a week. Works if I switch to Google DNS (22.214.171.124, 126.96.36.199). 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.