We are owed 1,000 OCEAN tokens as network fee. In order to save gas, Alex could sell these tokens for ETH and then transfer the ETH to the DAO. Should Alex sell the OCEAN tokens and then transfer ETH to the DAO?