Correct, but if you do 5 years in the military, and 15 in FedGov, you can then retire at your GS-15 / SES grade and get a pension + guaranteed healthcare.
Then you start your 2nd career at GD or Lockheed or Microsoft, et al, and get 300k per annum.
I think you're really overstating it. I know guys that have done the military / fed / contractor shuffle. Getting above gs 12 damned near impossible, and when they figure that out, they go into contracting for ~100k+ positions, but it's not 300k. If you play it right, yeah you can fully retire at 55 with a small pension and (hugely important!) health insurance, but someone who went tech sector from the jump can easily retire at 40 if they really set their minds to it.
Then you start your 2nd career at GD or Lockheed or Microsoft, et al, and get 300k per annum.