I'm told there are 35k employees on their sprawling campus. Average age a bit higher than at Google, atmosphere a bit more serious and corporate, but still signs of geekery and techno wizardry.
Fortunately for me, no one complained when I used a Mac Powerbook for my presentation :-)