BGP

I always advise clients to not put too much effort in a troll. If someone is just there to disrupt a community, ban them and give them no further thought.
If it's someone who just needs to cool off then you can do a warning but I usually say one warning is enough.
No time for distracting you from your good members to spend time worry about a bad member's feels.