Es verdad que siempre se le ha llamado "el peñón", pero en los mapas aparece como Pico Correcillas y es asi como se debe de llamar; le pese a quien le pese.