The DNS service was definitely down at the time. One of my co-workers was on a different network using different DNS servers from the rest of us who were on Google's public DNS servers. He had full connecvitity, the rest of us could only use services we had the IP addresses cached locally.