[mikenune]

Yeah, my guess is they're running some sort of hardcore mainframe systems all clustered together. They's kinda have to to get the performance they'd need for 100+ people per computer!