So if you retired right at 15 years (180 months), then you'd get 35% pay? Doesn't sound altogether like a bad deal, especially if the healthcare is unchanged. You can get out at ~37 instead of ~42, and might be more marketable. And for those going to the airlines, that's 5 more years of seniority.