Thanks Matt. Funny, turns out we were there this past June and our friends dove. Just didn't know what it was called!

Rick