3 ms·Rumored to be 4000 or 25% of the workforce.by the-dude 6y agoRumored to be 4000 or 25% of the workforce.