Oh yeah I forgot about that... yep. Heck I carried pepper instead of a taser, but that stuff put you into a hurt even if it just got on your skin. I carried Sabre with mil grade CS... great stuff. I was only a civi cop for a year 2006-07 and I remember they had tasers several years before that.
Pepper Spray would have helped him i would think. Ive never been sprayed with the stuff so i dont know if adrenaline helps ease the pain but i doubt that Vet could have shot as well as he did.