“If they are on government payroll, then just like an employee belonging to a private company that offers pension, they should be entitled as well. Given that it is publicly funded, however, it should match the average pension plan rate for private companies, instead of being higher.”