sounds like there was a DNS issue with the domain. The reason different users are getting different results is because the users local DNS server has yet to receive the DNS updates from the domains DNS server.