Heh, I bought Reddcoin ages ago with something like 5 bucks and it's now worth 25 or so. I was considering the very same thing as you yesterday about selling them and maybe just buying some Bitshares with that. I'm also having hard time to see this success so might as well take that little profit now. After all, there are so many coins that only a fraction will become big in 2+ years in the future.