Can someone please tell me the name of the new server for Diabolos. I did not see Diablos in the list of servers. My roommate said it was because they merged all the severs so they all have a new names now.