[toast0]

Well, yeah, not a lot of people are going to continue much past 20 years when that qualifies for immediate retirement pay and a private job can suppliment. There's up or out policies at various levels too.