Thats crazy, small world! I just checked out that footage now as well, awesome. I mainly go there for fishing pretty often but have also been snorkeling there in the summer and its amazing. I really like going to the shallow reef that pretty close to shore, and have been down the end of the jetty too where you usually see some bigger fish.