One thing that seems to be missing from this discussion (or I just missed it), is that the retirement age applies to FAA controllers. It does not (as far as I’m aware) apply to contract controllers. Sure, the contract controllers don’t earn the same pay, but it’s still a way for aged-out controllers to continue working.