Into six figures for sure.
It’s probably something you could find out with an FOIA request. You might even be able to find it online.
He is making over $170K. His pension will be about two-thirds of that.