I'm glad for that :)
As for the rest, I'd don't think any of our public servants should make more than our military personnel. And if our "public servants" didn't like it, I'd tell them to find a job in the private sector.
Aren’t military personnel to be considered government employees? It just seems to me that soldiers escape any criticism whatsoever when in fact they enjoy similar, if not more, benefits that people begrudge cops/firemen/teachers.