The plaintiffs and the IRS filed a joint motion on July 7 to settle the case. They asked the U.S. District Court for the Eastern District of Texas to order the IRS not to enforce ...