Indeed, that is about the stated revenue on their Wikipedia page. Divided equally among their 20,000 employees, that comes to $350,000 per employee. Expenses like office space, taxes, fines/fees, inflated executive compensation, etc will bring that down quite a bit; though other sources of income will bring it back up too. Sounds reasonable.