Apparently they've already managed to exchange some ETH for BTC (I think it was around 5m sats).

https://mempool.space/address/bc1qlu4a33zjspefa3tnq566xszcr0fvwz05ewhqfq

Now that bitcoin is involved I don't think they'll be able to hardfork it out.