I remember Chicago Public Schools (CPS) had more employees than students at one point... I think that was in 2006? They have their own dedicated highrise downtown. At least one third of their schools were vacant, unused but keeping them maintained and conditioned, yet we were building new and expanding existing facilities back then.