Anyone able to list a few of the servers you can use to get to GA chat? THe one I was using seems to be down.