Have prices come down that much since April? I'm seeing the S19 Pro on bitmain's website for $5,940 https://shop.bitmain.com/product/detail?pid=00020220616112636834T0C1ADTd062A

Looks like Dovina is selling them for $3,869 here: https://dovina.en.made-in-china.com/product/xFiJskvTCfcy/China-King-for-Mining-Btc-Bitcoin-Miner-Bitmain-Antminer-S19-PRO-110th-in-Stock.html

Can anyone confirm if this is legit?