Good for him - I'm sure we all wish we could retire at 57 years of age
If you started teaching in the period of about 1965 to 1980 in Ohio, 57 was the retirement age on 88% of your salary. My wife retired on the last day that system was in place, June 30, 2015, with 35.03 years of credit. Talk about cutting it close.
As for Tim, he and Beth bought an historic house in Newport when he took the Bryant job. Not sure if that will be the B&B but it's a great house.