Ah, 2500. That's ~15 people per hiring manager so you're right, that does seem more reasonable.