I also find it kind of funny how reddit always gets outraged about government employees making a decent salary for their level of responsibility, but then turns around and talks about how private sector workers deserve to get paid more.

And as you point out, for the level of experience and responsibility involved here, this salary isn't actually that crazy. He could certainly make more in the private sector for a similar level role.