Very nice - I was there that day, too, but in the '80s section. The laptop pool by us was usually steaming like that at night.
I always meant to get a photo of me beating on the giant keyboard at the laptop pool (I'm known for occasionally breaking a keyboard when playing a particularly intense computer game!) but never got around to it.