How did you sell your pi coins? I have a friend who is trying to get rid of them but he doesn't know where to swap or sell them.