Not 10k+, but a lot of leading hedge funds, especially tech focused ones, have 2-3k employees with a similar to lower revenue/employee to big tech. Doesn't seem to me that they run much leaner.