Using the "jwhois" tool against a domain at Route53, I see that it queries whois.verisign-grs.com and then gives me the data I expect