You nailed it right. It's not only about paying the devs' costs. Actually devs aren't going to do anything here, it's the admin who have the keys for the exchange/casino's wallets. It's more about the risks involved in exposing those keys by importing them into another wallet/chain.