Thanks, I missed that (I stopped after a couple paragraphs). I did do a quick Google Search after I searched for how many Googlers are in NYC. (Was verifying there's actually 7K.)

It's pretty amazing how large some of the non-home offices are at these mega tech companies.