That only works if the city has changed from defined benefit to defined contribution for active workers.
I don’t know if that has happened.
Say what you want about Michigan but they’ve already done that- in 1996.
CC