I am holding few of the mentioned coins, but the value is small. So it there any way to trade these coins?