Maybe in the US, but F1 has 750 million fans globally. It won't lose all of ESPN's 1.5 million viewers. Those it does lose probably won't keep anyone awake at night, as long as the checks clear.
K.I.S.S. principle. There are too many ways to screw this up. No one paid money or turned on the TV to see personal interpretations of the command. If you have to ask how to do it, you're already halfway damned.
I'd have been surprised if they didn't file again. No lawyer takes 'No.' for an answer in the 21st century American legal system. If the full panel had ruled for 23FRM, NASCAR would have appealed again.
Let's not let this expensive charter sideshow have us lose track of the main antitrust suit.