Never been, probably because the place seems to cater to recreational divers only but does the place actually have cave that someone has explored?