I recently reported a work bully to HR. She's been bullying people for ages, and every time she had an outburst, we all hoped she'd be reported. Some of us reported her to our bosses, but nothing was done until I made it official. Nobody wants to be the one who reports it, cause we get grilled too, but until it is made official,nothing will be done. Obviously, Gregg was the same, loads of people disgusted by it, but it must be only now that the right people have been informed, and can no longer ignore it.