Thanks for finding that. Wikipedia says Valve had 330 as of 2013, so Valve most likely slightly outnumbers them. Hardly David vs. Goliath in headcount/organization size though. Though of course you have to be aware HTC is the production scale out.