Most IRS employees vote democrat. They vote their own paycheck. I worked for the IRS in the 70’s and 80’s and I voted for Jimmah Carter—twice! Back then even government employees knew they got bigger raises from the democrats than the republicans. Thank God I wized up.
I served active duty under Carter, he cut our pay.