It would mean 60,000+ district workers — teachers, counselors, nurses, bus drivers, janitors and cafeteria workers — would ...