Would it affect his pension if they just gave him a huge demotion?
I would be OK with that - it just galls me that he could pull this crap and then retire with full benefits and NO CONSEQUENCES!!!!!!!!!!!!!
No, because retirement is based on highest 3 years of pay. I didn't think he would get dinged all that much if he got fired. Snooping around a bit, what may happen if he gets fired is he loses medical coverage and wont receive his pension annuity until age 62.