At least you don;t see many professors retire at this age.
Yes, between 55-65, if you are retired, and qualified for the pension system, you are covered like employee for health insurance. This is a big thing I decided not to take a company job with much higher pay a year ago.