Neat pix.
If you go to the Batfish forum that are pictures of them replacing the decking so you can see some of the inside.
http://www.submarinemuseums.org/forum/I believe all the names ae based on real creatures many in the shark family.
The Gato is supposed to be a Tiger Shark, gato being Spanish for cat.
One of those silly bits of info you find in books.
BatfishFrom Wikipedia, the free encyclopedia
Jump to: navigation, search
Batfish is a name given to several fishes:
* Malthe vespertilio of the Atlantic coast.
* The flying gurnard of the Atlantic (Cephalacanthus spinarel).
* The California batfish or sting ray (Myliobatis californicus).
* Members of the family Ephippidae, especially Platax.
* Members of the family Ogcocephalidae.
* Red-lipped batfish
More than likely it's supposed to be a Sting Ray.
Eric...