I was groped by a producer at a party a couple years ago, after which I made an anonymous complaint to HR. As far as I know he was never personally disciplined.