ohh shoot, not the server I was playing on 5 years ago and forgot about
that comment is a little outdated though, I have since joined a server that you could get the IP to very easily if you knew what it was, you can get to it from PMC, but as far as I know it's not in the PMC server list