Thank you ALL for your correction, and confirmation. I just wanted to be certain about the FACTS, as I have heard my Instructor colleagues give briefings which are obviously inaccurate. I agree with Zippsy that most divers do appreciate a good "story", but IMHO when you are talking about history it is important to give CORRECT information--even if it isn't as "exciting" as the urban legend!
You should hear some of the stories I overhear at the Casino Point Dive Park... about the history of "my" island and about the critters in the dive park.