I'd look at it from a "what would a cop have done". A cop wouldn't have shot him. Pepper spray, taser, flashlight/club or duke it out. Taser would be cool just to watch the guy go from raging lunatic to flopping jelly fish....and a crowd pleaser to boot. One could think of this as a missed opportunity.