Re: [vdr] DVB-S2 PCIe or USB tuner recommendations?