The dash hash rate says it all. There are about 10'000 miners working on it. This is September + October batches so far. There will be 20'000 miners at the end of 2017, unless more batches come forward. Profitability will be about 10-12$/day at current dash valuations. Not bad for a 1450$ miner.
Those who want to buy the A5 at $10K are welcome to shoot their foot.
by my calculations there will be more then 50k miners at the end of 2017 and most of us can shoot themselves

I don't agree. Up to this moment the batches are much smaller than everybody anticipated. No more than 5K per batch and no more than 2 batch per month.
I paid a lot of attention and it took Bitmain 3 weeks to sell all D3 from the last batch (november 21-30th). There has not been a december batch yet.
Enjoy.