I can't believe that they need 4000 employees for one school district. I'm willing the bet that 25% make over $100K/yr not including retirement and healthcare costs.
No, that's not the entire district, that's just what they're planning to have working at district headquarters next year.