Servers Down? (Texas)

Hi I’m a relatively new player and I noticed today that the Facepunch Texas servers are down. Are they temporarily down for the wipe today? Or have they just been renamed, or worse, retired?

Thanks in advance.

i cant find them either and my friends are playing on them… guess rust doesnt care if i play tonight or not

Connect using ip commands