I say leave it so that you can spread the word around and said abuser will be known by all as an asshole.

That's worse than being called up by a GM imo.