Comment by indigodaddy

Dumb question, but what happens to stuff like Miami Heat’s FTX Arena etc in situations like this? Should we expect a name change for the arena at some point soon?