It's not huge. And the algo is certainly small, since it's the only coin currently on it, and there are already more efficient miners in production that will hit the market in Nov/Dec. It's a bad call IMO, especially with US customers shying away due to tariffs...
In this case Bitmain was very very late to the game, hence they are dumping their Decred miners before the big ones hit in a couple of months. The pricing reflects a payback in 2 odd months, exactly around the time the big ones come out. They had no choice...