If the majority puts the user on ignore, maybe they will disappear into the sunset.
That's never going to happen: I've seen different people interact with trolls for months or even years. By the time they realize it's pointless, other people will start from square one. And if they're paid to post on the gambling board, there's an even bigger incentive to do so.