BARLOW, Florida – Superintendents always cost schools a lot of money, in terms of salary and benefits.

But in Florida the expense seems to be extra burdensome, due to very high pension costs.

MORE NEWS: From Classroom to Consulate Chef: Culinary Student Lands Dream Job at U.S. Embassy in Paris

The Polk County school district is a perfect example.

In 2015-16 Superintendent Kathryn LeRoy made a base salary of $225,000. And in accordance with the law, the district also made a $48,217.50 contribution to the Florida State Retirement System on her behalf.

Ironically, that pension contribution was only $203 less than the average base salary of teachers in the school district in 2015-16.

LeRoy also received a $9,600 auto allowance, $7,128 in health insurance coverage, as well as about $830 in life insurance coverage. The extras brought her 2015-16 total compensation package to a whopping $290,675.

And that’s not all the money she received.

LeRoy resigned midway through the school year due to accusations (which she denied) of sexual harassment of subordinates, and got a big payoff upon her departure.

MORE NEWS: Know These Before Moving From Cyprus To The UK

“LeRoy is asking for $119,800 in severance pay, in addition to another $113,517.19 in annuity payment,” WFLA.com reported. “The school board approved LeRoy’s proposal Friday evening.”

The teachers of Polk County also did pretty well in 2015-16, with everything added up.

A total of 6,318 teachers were paid a sum of $305,883,909 for the school year. That comes out to an average salary of $48,414.

All teachers apparently received $7,128 worth of health coverage, and the average retirement contribution from the district was $3,514. That brought the average teacher income to $59,060.

Polk County teachers worked about 190 days during the school year, according to information provided by the district. They also had six paid holidays. The average salary, divided by the number of days paid, comes out to about $301 per day.

Polk County teachers worked about seven hours per day (at least from what we can gather from the murky language of the teachers union contract provided by the district). The average salary, divided by the number of work time, comes out to about $43 per hour.