I think I muted at precisely the right point. I offered deeply thought responses to simple insults three or four times and got back insults and wildly uneducated information.  There is a point where it becomes a clear waste of my time.  He/she wasn't engaging, he/she was trolling.