Aparentemente las rocas fueron conocidas desde la época colonial de México; se pueden encontrar en los mapas desde 1598.