I could be wrong, but I believe they still get coverage after retirement too.  For themselves only I think, but still....that should stop once eligible for Medicare at least - If it doesn't.   I should look that up - talking off the cuff so don't take this as fact.