Events at The Devil's Arse (Peak Cavern), High Peak