Text this: Eastern Judicial District of Texas, etc.