If reading their posts just aggravates him and leaves him unhappy, ill-tempered, and prone to saying things best left unsaid, then using the "ignore" function is a reasonable response.
As a moderator, I've never considered the ignore button an option, I need to be able to read anything anyone writes. In truth, I'm seldom tempted by it anyway, even if once in awhile someone punches one of my buttons.