9k?!?! damn I never thought someone will be that stupid to gamble this amount of money, when that miner hit the market or even before that, the diff will go up more than double from what is now, and it will be harder to make ROI with this. It all depends on where dash price will be in a couple of months really.