Even if those guys were active, I'm not sure what they'd have access to at this point. The server has been reset multiple times since they would have used it last.
But then again, I was never particularly active on it, so I might just be out of the loop.