[waltjp]

Do you work with the same crew from week to week or are you rotating officials? This is something that should definitely be discussed as a crew as to how you're going to call this.

That being said, you explained the rule to the officials who threw the flag. It's their call. Unless you're definitely going to overrule them in this case and lead to suspicions in the future I think it's best to let them make the call.

Like all mistakes, if you and the crew learned anything then it can be a positive going forward.