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