You know the worst kind of DNS problem? The kind that only affects some people. Yeah, I can't resolve the domain name either. Ugh. For now, the Coral Cache hack works:
It might help to add Google's DNS to the list of DNS servers, e.g. on my Ubuntu, I sometimes add "nameserver 8.8.8.8" to the end of my "/etc/resolv.conf" file.
