[Sarepean]

I don't think it's their server. Sounds like they were playing on someone else's. I think the best bet is to just get the file from the patcher.

-Sarepean