5 years to go? I am no fighter guy but that's a lot of retirement money to throw away. I have no idea what your pension number will be but let's say 50K a year. How much do you have to have in your 401K to be able to draw off 50K a year, inflation protected, for the rest of your life? (Hint: a lot!) Plus you get medical and dental coverage. I got off AD the first time with 11 years in so I understand the feeling of "I can't do another day" but take the number you came up with above (use $1,000,000 for arguments sake) and divide it up by 5 years and then throw in your regular pay. So....1 million divided by 5 = $200,000 a year plus your 130K a year pay for $330,000 a year for the next 5 years.
Just one persons opinion