I have a relative that made almost that much in overtime last year. He was part of a Federal Task Force. I love the guy…but WE were paying him almost unlimited overtime, and he doubled his salary. And now he gets that tax free? I am not sure that is how people want this to work.
Easy solution. Fire him and let him find a job in the private sector.
If he's as good as he believes, he should have no problem finding a job for a company that's willing to pay him the same salary.
There's too many people 'working' and I use that term loosely, in the public sector.