Mustang SUD (Denton County, TX): what EPA records show