OK, it's coming as we thought.
Bitmain coupons are available at:
https://www.ebay.com/itm/263579381463
https://www.ebay.com/itm/80-discounted-price-to-buy-Bitmain-Antminer-Coupon-44-dollars-get-220-coupon/263557958149?hash=item3d5d474a05:g:A6oAAOSw6jNar0Tg