Roca de color rojizo en la zona del Roque de los Muchachos, GARAFIA