I just discovered the BBTI AirStar HD5000 (for what it’s worth, the Technisat site looks like it just supports DVB so maybe the BBTI folks really did strike up a deal with them). It comes in both a PCI and a USB version although the USB looks like it’s just a PCI card in a USB-adapted box. From some searches I’ve done, it looks like it’s used mostly by Linux folk. There’s also a support forum for it. You can also get it at CyberStore.com.