3 ms·

Well, $200K/employee, 4K employees (roughly), and you're at $800M pretty fast. Still an astounding number.