For further comparison, Google has in the region of 50,000 permanent employees globally.
http://www.google.com/intl/en/about/products/
1000 employees per product (many of them small) seems asinine to me. I could definitely be wrong, but this seems like extremely low productivity. Does anyone have any insights into this?