Piedra volcánica del Roque de los Muchachos, GARAFIA