I've played it!

Back in the 70s a campground near Mandeville, Louisiana had a Killer Shark machine in a small arcade next to their pool, I spent the entire vacation (and way too many quarters) in there much to my parents' dismay :)

I also remember playing it in the late 80s, in an amusement park in my home country of Sweden. Game was already quite old by then, but these things had a long life outside the US.

I specifically remember the gun and the gruesome way the shark dies.