1150.0Pico de MijasJustert koordinatene med 9 meter, og lagt til alternativt navn på toppen. (Ole-Petter nov-15). Her kan det være at høyeste punkt faktisk er Cerro de la Sepultura (NJK500 nov 2025)https://peakbook.orgSummit