Badspot and Rotondo are both offline.
Badspot is definitely not getting online as it's close to 5 am for him.
It is safe to assume that this was a problem on the server host and not Badspot. I assume with this outage and with the problems RTB has been having, Badspot might be looking to change server hosts.