Actually I think it is. None of the cops I know make 80k and when I was in the Navy I don't think even the captain (CDR) of my ship (9600 ton/400+crew destroyer) made that much... I know I didn't as a 7 year E-5/PO2..
I don't begrudge the SS their money, I just have always thought it strange that other (non-mil) federal employees could make so much more money.