High Point SUD (Kaufman County, TX): what EPA records show