S9 next batch is in March. December batch you can buy for 5,000-6,0000 with the power unit after market but you can also find them for around 3,500-4,000 from suppliers on a larger scale. Don't dank on the resale value as those earnings will show only on one ER. Also a good idea to sell machines after about two years running of 24/7 use and then use that money to help pay for new hardware. Remember the difficulty changes so you will always need to upgrade and increase your ASIC hardware.