I think that 7K is just employees: "employs more than...". That is a deliberate distinction from "workers". I wouldn't be surprised if the count passed 10K once you considered contractors. They're mostly in non-engineering roles: cafe staff, recruiters, marketing, physical security (did those get converted to employees like they were doing in Mountain View?), facilities, etc.