I will gather up-to-date confirmation from reliable sources about the highest peak in the Iberian Peninsula. I'll search for authoritative references and then summarize.