Like any profession, there are some who are overworked and underpaid, and some who are underworked and overpaid.
On a related note, I don't think anyone's retirement wage should be based on the last year or two of padded, overtimed, stipened, inflated pay. A fair percentage of BASE PAY is how the military does it, and that seems fair.
We have bus drivers in Pittsburgh making more than they did most of their careers, except for the last two, when they pulled overtime to pad their retirement. No wonder the fund is going under.