No, they do NOT pay in more than Social Security in general.  Safety workers have a special fund, but your average office worker in PERA expects to pay about the same as a SS recipient, retire ten years earlier and get three times the benefit.  You can go look it up.