Official server 7133 is down

Been down for about 20 minutes now. Can’t find any server status information anywhere. The main menu has the players at ?/40 and then ping is ???.

Guessing this means the hamster’s fallen off the wheel???

After I made this thread, the server came back and everyone kept playing as normal. Guessing it was an update window. Now however, this server has completely vanished from the server list and it’s been this way for over 3 hours now.

What is going on?