It was a push, he was out of order.
Looked much worse from where I was sat.
By the letter of the law, I'm sure you are right, he was out of order. But the angle I have available makes it look like nothing more than a nudge to get his attention. Certainly doesn't look like there's any aggression in the push.
I bet a high five would hurt more.