It sold at that sort of price over the inflated Xmas period. I started buying back in Oct 17. In my view, it has always been a ~5pence (GBP pence, so ~ 7cents) coin at the moment. It's a real bargain down where it is right now. I've just doubled up on MANY coins, but especially GRC due to staking.