>Right now it sounds like the US's export ban is not slowing them down a whole lot.

Just costing them a lot more money as they pay multiples more buying on the underground grey market.