I think they said they already sold 12.5k eth for btc. Also they might have done it p2p and not exchanges