Shouldn’t there be a ledger somewhere of transactions tied to those coins?
Rumour has it the exchange did this anyway as it was short/long on different coins. They lost a ton of ether in the past, so they may have had to do such switcheroos for a while.