They have posted the specs of the servers here in the past. They are very open about these things. I doubt they will reply today as they are busy withthe repairs but I know the specs are in recent forum posts that only go back a couple weeks.
I'll try to review my subscriptions and see if I get lucky to find one of those links for you.