Neat! If you don't live in China, you should be able to buy them from the usual places like Aliexpress and eBay for a slight markup. Looks like there's a handful of people reselling them. (Some stuff doesn't make it over but the more consumer-oriented stuff usually does.)