Almost definitely - they're using MGI sequencers, which can't be sold in the US or Europe due to patent infringement (until August 29th in the US). Some have been sold outside of China in Asia.