IF he was a teacher, I don’t know about TX, but in PA 20 years in and you get full pension and benefits for life. so if you start right out of school, you can be retired by your mid 40s with full pension and health care until you drop dead.
Texas teachers insurance changed several years ago (pretrump) for the worse. It also affected retired teachers. They used to have a platinum level insurance- now they are like the rest of us.