La cueva aludida, conocida originalmente como Cueva del Diablo, había sido visitada por lo menos desde 1950.