They'll pay for a few years while making arrangements to leave. I wonder where they would move, though.
CME has their servers (at least the backup) outside Chicago already, somewhere in the 'burbs, probably outside Crook County.
They could just go out to Lisle. I believe one of them had mentioned Indiana.
Now that the Texas economy has cooled off a little, Dallas would be a good place to move the exchanges.