 When you say that they want the judge to do this or that, I guess that means the judge still has to sign off on this? That's right. The Justice Department says the formal agreement will be filed with the court within days. The judge could accept it or reject it. There could be a hearing on that in Texas as soon as this month.