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.
Let me rephrase my question then: How often are they releasing batches usually? Will it be in the next weeks/month?
Is it worth usually waiting for the new batch or just buy overpriced ones from ebay?