A half a billion dollars? That much?
Not surprised by that figure. The bands are large, and have a big transportation budget. For budgetary calculations, figure 20 years at full pay and benefits, and funding another 40 years of retirement and veterans’ benefits.
BTW, cost of fulltime employees at private/public owned corporations that offer similar benefits are the same, if not more (thing UAW workers).