It looks like I'll cover 75% of the cost by selling 3 S7's -- So it is a no-brainer -- if I can get stock
Well, I don't see how this is actually a no-brainer. You are exchanging 14TH/s for a more efficient 14TH/s, not actually increasing your hash rate. With the sale of your S7s covering 75% of the cost to upgrade you are still paying a minimum of $525 for that increased efficiency. That's if you had already taken into account the shipping and customs/VAT <- depending on location. If you simply mean 75% of $2,100 you are probably likely paying close to $600 for that increased efficiency.
The average cost to run 3 S7s for a month is $180 from what I've experienced and what I've seen other share. The S9 will potentially lower that bill to $60. That means you are saving $120/month with the S9 in place of the 3 S7. So that efficiency upgrade will, by itself, will take 5 months to ROI.
But that isn't the end of the story. Have you already hit ROI on your S7s? If not, you didn't pay one investment off before buying another. That means whatever you had left to ROI on the S7s must be accomplished by the S9. The S9 can concurrently contribute to both the efficiency upgrade and the initial investment which does help out. Depending on the batch of S7s you could have anywhere between 0-7 months of hashing remaining to ROI.
Best case scenario, you already hit ROI on a triple Batch 1 S7 setup and can focus the entire profit of the S9 into that $500-$600 investment for energy efficiency. In this case, you're right, no-brainer. That would be a quick 2 month ROI. Worst case scenario you still have 5-7 months to ROI on your current S7 setup. This would mean your shortest ROI period is 5 months, with the longest being approximately 6 months (5 months to ROI on the energy savings investment running concurrently with the 5 months to ROI on the initial investment. After 5 months, the energy savings can then be applied to the initial investment closing the gap from 2 remaining months to potentially a single month).
So without knowing exactly what batch S7 you have or the remaining months to ROI on that investment it is hard to say, but you could be facing anything from 2 months to 6 months to ROI. As you're selling your S7 now, that timer won't start until you receive the S9.
I don't see how anything about that was a no-brainer. I would have to give serious thought about taking on a 6 month ROI. That's quite a bit of risk considering all the variables and potential for failure and having every egg in a single S9 basket.