Your cited article makes it abundantly clear that the provenance of said $17 million claim was a default clause entitling Miami-Dade County to three years worth of naming-rights fees.
They sold that speculative claim for $5 million cash---effectively recovering that year's otherwise uncollectible receivables---then immediately turned around and locked in a 17-year, $117.4 million agreement with Kaseya[1]; back-of-the-envelope says that's an implied ~$5.4 million (2023 dollars) per year with 3% annual inflation adjustment baked in.
Call me naive, but I imagine that if you're in the business of running a multi-purpose arena with real opex, you've gotta be the dumbest risk manager in South Florida to allocate expensive legal resources in chase of speculative claims when a mutual opportunity to repair a gapping hole in your balance sheet presents itself and you have a willing long-term replacement suitor lined up.
[1] https://www.miamidade.gov/global/news-item.page?Mduid_news=n...