In addition, BFL, BTCFPGA and Avalon (I think also is based in USA but produced in China) were U.S. companies and these devices are classified under the "U.S. Bureau of Industry and Security export control", so they can simply refuse sale by your country of origin.

yes