The police were called, unusually, directly by the casualty who had become stuck above a large drop near the entrance to the cave on his way out and did the right thing by asking for help.

A small team of 4 attended with rope and a harness to help the caver escape his predicament