What Jeff said is essentially right. As an air traffic controller I imagine you're susceptible to early burnout, as that's a stressful job at times. As a long-time user (pilot), I appreciate that.
Your TSP goes with you; you can either take a lump sum (and pay taxes unless you roll it over into an IRA) or a structured annuity at some age. When I retired from active duty, I went to the private sector, and lasted five years. I left when my responsibility became 99% "business development" (marketing) and 1% technical. Never regretted returning to DoD as a civilian, although the $$ is nowhere near as good, even as a GS-15. But I decided job satisfaction was more important than getting rich, and never regretted returning.
Your personnel shop should have retirement planning seminars you can attend.
TC