[throwaway5752]

That is 10,400 out of 152,300 per the article, or just a bit less than 7% of their workforce.

[agumonkey]

I never realized how large they were