True enough. Laying off Tier 3 workers wouldn't do much in terms of reducing PERS payouts (as I think their plans are more self-contained), but laying off others would reduce future obligations. 

I think they should move to a 5 year salary average and not count unused vacation as ways to reduce future payouts.