I saw a report that they may be laying off 10,000 workers. Looks like that is about 3% of their workforce.