We'll know when Bitmain has more S9s for sale when they make the sale button active.

 I suspect they may be waiting on the next batch of BM1387s to arrive from the foundry.