2. The shark bit its way into a large tuna net.
3. The shark was shot before he jumped in.
4. After he jumped in the water but before he got into the net with it, he shot it with a spear tipped with a shotgun shell.
5. It was shot about ten times before it was wounded enough to be winched onto the boat to be finished off.
6. Another diver jumped into help eventually. (He was never named.)
7. His name was Dean Stefanek.