Yup, we're switching to multiple providers. The fact that there were already multiple geographically redundant IPs should have averted most issues, but someone made a highly-coordinated attack on the provider at all their IPs.

We learn and move on. I wonder how many other startups are going as far as using DNS from multiple providers? I still see many startups using Go Daddy for their DNS... :/