Jetzt sind noch mehr Macken dazu gekommen.
Ab und zu erkennt der Rechner die DVB-S-Box nicht mehr ("Gerät nicht gefunden"), bringt Fehlermeldungen ("Port wurde zurückgesetzt"), und dann muss erstmal der Treiber de- und anschließend neuinstalliert werden.
Inzwischen habe ich den Verdacht, dass die Hardware vielleicht einfach defekt ist oder die Treiber-Software für Windows buggy. Werde jetzt wohl die TeVii-Box zurückschicken und auf einen anderen Hersteller zurückgreifen.