Is that what happens here? Tether just pocket the difference?

I would assume Binance is powerful enough to get Tether to issue new USDT and give it to Binance to replace the stolen-and-frozen USDT.

No lol