There are many species that qualify as armadillo lizards. Common names suck as means of identification, that why you should always expect your dealer to be able to provide the exact species name. At any rate I think you are correct in your identification.