ESPN back on DirecTV before US Open final?

This market will resolve to “Yes” if ESPN becomes available on DirecTV again between September 3, 2024, 11:00 AM ET, and the beginning of the US Open Men's final (presently scheduled for September 8, 2024 ET). Otherwise, this market will resolve to "No". If an agreement is announced that ESPN will be available again on DirecTV before the US Open final, it will qualify for a "Yes" resolution only if ESPN is broadly back for most DirecTV customers before the US Open - if the agreement goes into effect after the beginning of the US open, this market will resolve to "No." The beginning of the final is defined as when the serve is made during the first point. The primary resolution source for this market will be information from The Walt Disney Company, DirecTV, LLC, and/or their subsidiaries, however a consensus of credible reporting will also be used.