I only do two things. Firstly I put the user on individual moderation and PM ban. If this doesn't work, they get banned. In the seven years I've had my website, I've only had to ban about six people. It's always traumatic - for me and our users. frown