Hmm, the "specifically ASIC chips" is a questionable area as China has NO advanced Foundries capable of producing 16nm and under chips. TSMC is Taiwanese-owned company and all of their advanced foundries are located in Taiwan. If you want to do business with TSMC don't even suggest to them as a joke that they (Taiwan) are part of China....
True Bitmain, Canaan, and others contracted TSMC to make their chips but technically the chips are not Made In China.
Substantial completion of the board is china, that is what matters. We have the same attorneys as another chip manufacturer that ships to china for processing and testing. Will be sorted out soon enough.