I believe he is using degrees & minutes, but he put in a dash instead of a decimal.
If you key it into Google Maps in this format, it appears to work-
N 25 17.051 W 80 19.814
Rescue / Throw Bags
|Table of Contents|