Here is my educated guess of what is going on. Let's say his average salary was $80K for the last 5 years when he retired at 55. This would give him a pension of ~$46K a year. Since the retirement system offers health insurance, he and his wife are not eligible for Obamacare subsidies. The TRS insurance premiums are ~$700 per month for a couple. It looks to me like they weren't financially ready to retire, but decided to do so..
It’s a pretty sweet deal. I have a friend who has a villa in Spain. I assume he plans to retire there. The whole family speaks Spanish.
That sounds perfectly reasonable.