This may get y’all going in the meantime.
Check out this site for instructions to change your DNS server on Chrome: https://techcountless.com/change-dns-server-in-google-chrome/
You can try out some options or just use Google’s Public DNS (8.8.8.8): Public DNS | Google Developers