La denominación popular de este pico, "Carramolo" da nombre a una emisora de radio benalmadense: Radio Carramolo.