They should do the site a favour and automatically put him on all users' ignore lists and not tell him. He'll just come back if he's banned.