Could a couple of people run

dig <http://pantsbuild.org|pantsbuild.org>

and tell me which nameservers they get in the

;; AUTHORITY SECTION:

?