You did the right thing, Shank. There is an old saw about knowing how to pick your battles: It means "to have the good judgement to know whether or not you are likely to win an argument or other conflict, and whether it is worth the effort and aggravation anyway".

This one was not worth the effort and aggravation.