If they don't tell you how, ask how to try the usual 8.8.8.8 DNS.
Bob