El Paso 88517, Texas

El Paso 88517 is a zip code in Texas.