@sickburnbro @petra I am probably biased in this matter:
1) I live in Canada, so maybe the culture is different in Yankistan
2) most of my relatives are, or have been, government employees, all the way to cousins whom I have never met. I am the exception - no government job, no government pension. They all stayed until they maxxed out their government pensions and then quit the next day. None of them would have taken the bait.
Let's just revisit this in six months or so.
I am actually on your side in this matter. It would be funny, but it would also be an expensive mess.