The DNS servers are back up and running. But I went ahead and bought secondary DNS service from another provider. We now have 7 DNS servers in five different geographic locations, so such problems should almost never occur again.
As soon as the DNS came back up, everyone started hitting the site which overloaded the server, so you probably got some 500 Server Error messages. Traffic seems to be back to normal now.