What kind of geckos do you find in El Paso?

Supposedly the Texas banded gecko is around these parts, but mainly we see the house gecko, which is originally from Asia. When we moved into our house on the outskirts of town we were surprised at how little insects there were coming into the house. A late night inspection of our outside walls showed why...Gecko City!