I have just changed the DNS records for a website, but they have yet to propagate on the East coast. Fortunately, I can see the change via my West coast proxy.
I need to get the IP of the new server that the new records are pointing to. Is there a fast and easy way to do this via the Chrome developer console?

