What would you do?

[JeffM]

I don't disagree with previous comments....

but, I have heard on many occasions not to make a call at the end of a game that you haven't made up until that point.

It sounds like the situation described in the OP was egregious enough that it deserved to be called.

I think the officials did let the players decide by not whacking the coach which also would have been justified.