@DesertTortoise I agree, these look just like the Painted Agamas that the Oklahoma City Zoo has in their new Africa building. I'm not sure whether the scientific name is Laudakia stellio or Agama stellio, but I trust Desert Tortoise's taxonomy and I'm sure it's the current one.