Some of the species are so similar that I want confirmation before final ID.
Pipefish - I think Shortfin but could be Whitnose
Batfish - Shortnose or Polka-Dot
the pipefish is likely shortfin, the batfish is Polkadot, i.e. Ogcocephalus cubifrons- the large shallow water species in Florida. The shortnose has been recorded a couple times in Florida, but is a more Caribbean species and should not have prominent spots on the pectoral fins. Other species that can occur in Florida are typically smaller and deeper.
REEF Headquarters | P.O. Box 246 | 98300 Overseas Hwy | Key Largo, FL 33037 | USA Phone: 305-852-0030 | Fax: 305-852-0301 | email: firstname.lastname@example.org