Where is it a 9 month work year??? The teachers in California start in mid August, and end the school year in mid-June.
Lots of school districts also require the teachers to take courses during the summer, so that means they are working all year long.
They don't get 2 weeks off for Christmas, a week for Spring Break and almost a week for Thanksgiving?