Anyone have an idea of where he's getting the figure for the number of employees at Google? He says 10,000, but Wikipedia[1] has it at 20k.

[1] http://en.wikipedia.org/w/index.php?title=Google&oldid=2...