It’s the county’s largest employer, by far, with a current budget of more than $13.5 million. And it is responsible for teaching the county’s approximately…