I did actually mean all the people that work in development on the product. That is, in MS terms, all SDE, SDET, and PMs. I happen to know this figure is accurate for Windows (over a million per developer), although that doesn't include sales/marketing, administrative costs, etc. As for the cleaners comment, I don't really get your point.

Anyway, my statistic wasn't really meant to be taken that seriously, just proof that server is actually making money over here.