WFO, welcome to the forum. I think your post was on the money.

Those that do take pride in their work will punish themselves in private humiliation and they will not let it happen again.

I agree there is no reason to rub their nose in it.

Roger