Su antigua denominación es «Peña del Diezmo».