Oh I am quite happy with it at this point. I hope as BTC goes up Raven will follow and like you said sell all at 25cent and cash out - if it reaches that high next time 
My moto has always been hold as much coins as you can but sell coins you need to cover your monthly expenses.
You could also trade your RVN for a basket of coins in order to diversify. But you are in an enviable position even at 3.8 cent RVN. Most miners years ago sold 99% of their coins instead of HODLing them and making millions. I personally missed out on hundreds of thousands of DOGE, DASH, ETH and LTC because I never saved up enough of the coins. From now on I'll never repeat that mistake again and I'll keep mining during the bear market.My moto has always been hold as much coins as you can but sell coins you need to cover your monthly expenses.