Yo lo conocí con el nombre de "Cabezo Chozo" y todavía con algunos chozos de pastores, aunque ya no se usaban como tales.