Where is that 10,000 number coming from? I don't see it on the PDF they link to, and I don't see it on the Stanford site:
https://facts.stanford.edu/administration/staff/
That 10k number doesn't even sound impossible, knowing what we know about large universities now, but I just wonder where it came from. Maybe I'm missing something obvious on that PDF?