clearly make an effort to shove the guy.
Also, if you were part of a staff that just beat the #1 team in the country, you'd want the focus and attention on your guys, not the kid on the losing team with a bad temper.
Smart move by the coach but it doesn't mean Allen didn't instinctively act out of frustration with his team down big late in the game.