That is not Petrosaurus thallasinus.(baja blue rock)It is Scheloporus cyanogenis(blue spiny lizard)not as rare or as expensive but just as nice in my opinion.nice specimens.
Jay
www.jaysommersreptiles.com