Our resident desert lizard must have found another, because I got to see a tiny one flitting across the patio. And here I had worried about the first one getting eaten. Given that it took over thirty years to see one at our house down in the flatlands at all, that was not an unreasonable assumption.
We will continue to get to see them, then. It quite made my day.