Some bitmain employee named nathaniel posted about these on the bitmain telegram channel https://t.me/bitmain
apparently these are $5k a piece and they were sold over email with an MOQ for 200 units.