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.