This is getting ridiculous. Disney lost control of the District, all the other words are trying to put a bow on a pig. There is a bigger picture that all of us are missing. NO one benefited by a dragged out legal battle. Disney is still the state of Florida's largest employer. WDW is the largest profit center for the Disney Corp. Some where within Disney and the State some grown ups took control and forged a truce so both could benefit. Florida wins with a large employer that supplies employment and tax revenue, Disney benefits with mega profits to support a company with some serious issues in other parts of their business. Let us not forget that Disney has some major head aches in other parts of their business, so the idea that they would at some latter date bring back a Federal lawsuit involving WDW is true fantasy and possibly suicidal (they need the income flow!!!). No need to poke a bear that is sleeping.