I have set up special groups for a few people. Another fun way to deal with obnoxious trolls is to set their flood filter to an hour, or a day, or whatever it takes to limit their posting. It's easier than setting up a group, and annoys them just as much. It sends a clear message.
