Banning may be easier to get rid of trolls, but i feel that ignoring them, regardless of how many do or do not respond to them, is much more irritating and pleasureable to watch then to instantly remove them. Plus, it gives the mods a job to do so thats job security!