Reporting him will get him suspended or banned. Just do that. They're awfully quick on getting rid of jerks like that. Just make sure to put when it happened, the date, the person's name who did it and what server.