So my friend who is not a cave diver was telling me about a cave he found by his house. We are both instructors at the diveschool in panama city. he says its called devil hole?? he lives in washington county and it is up by equafina creek. Any idea what the cave is?? is it even a cave?? worth diving? he said he wants to dive it with me. I told him as sooon as he gets training i would be happy to take him in the cave