The Rock of Gibraltar is honeycombed with caves.