It wasn’t the primary, who was bitten- nor present. Thus- hijinks, in the parking lot.
Still, I don’t think I’d shoot a K9 unless it was going to kill me. K9s have bit some officers in the heat of the moment, but I don’t remember any killing an officer. It’s a one and done mixup. Why shoot the dog?