It is currently not supported. Although, given that its components are probably identical, or near identical, to its AirStar-HD5000-PCI counterpart, adding support for this device should probably not be too difficult. If you have such a device, and would like to see it supported, please inquire about it on the mailing list.
TechniSat never listed this device on their own website's product pages. Rather, one finds information about these ATSC devices strictly on the BBTI website (TechniSat's source for North American sales and distribution).
Previous ATSC products manufactured by TechniSat, but marketed by BBTI, retained the naming scheme given to them by their original reference device designer, B2C2; as opposed to being marketed by way of TechinSat's "*Stars" product lineup nomenclature. With the HD5000 products, BBTI has evidently now adopted the TechniSat convention into part of the device names.
This device features a USB 2.0 interface. It has a subsystem ID of 13d0:2282.