Plenty still retire well before the mandated age. I don’t have an exact number or percentage that stick around to 65 but I’m willing to bet it’s not as high as people think. I can only imagine only a percentage of those that go at 65 will stick around even longer to 67. Even if this passes there won’t be a massive delay in the retirements.