El Paso County (Tex.). District Court.