Never mind

Just do like I did. Add him to the list. That way, you'll never see his posts again.
I wish more people would utilize the ignore function. It would eliminate a lot of the useless bickering that occurs on this site.