I recommended to him that teachers be given the option - buy in to TRS or get the "district contribution" as a tax-free boost to their check (it wouldn't cost the district a penny extra to do this) so they could buy insurance elsewhere.
This all came from when I had my son on my school ActiveCare 1-HD insurance. I paid $5,000 out of pocket for his ear tube surgery the year he was on it (this after more than 10 doctor's appointments at $125 each - the joys of no co-pay plans). After that year I switched to a private Blue Cross Blue Shield plan, saved about $50 a month, and went from a $4800 deductible to a $300 deductible, went from not having any insurance benefit until after my deductible to having a $30 copay for most visits, and from paying a ~$12,000 out of pocket maximum annually to $1200.
So yeah, TRS Insurance is a joke. It's only gotten worse since the ACA passed.