The budget for FY23 pensions is $152 million out of the $2.5 billion dollar operating budget. Before you move on to your next uninformed talking point, overtime is budgeted at $43 million. So about $200 million/year combined which is less than their debt interest payments alone.