Bei TVs wird die DivX-Unterstützung in den letzten Jahren schlechter, einerseits weil es inzwischen bessere Codecs gibt und wohl auch wegen Lizenzgebühren. Gerüchteweise sind da Samsung und LG "Vorreiter".

Wenn dein DVB-S-Gerät DivX abspielt und einen HDMI-Ausgang hat kannst du ja einfach den an den TV anschließen.

Ansonsten doch nochmal im Laden probieren, ob sich für den Zweck ein kompatibleres Gerät findet.

Die Mediaplayer in den TVs sind meiner Erfahrung nach meist recht spartanisch. Auf Design und Bedienbarkeit könnte man bei der Suche auch achten.

Die Kompatibilitätsliste unter https://www.onlinetvrecorder.com/v2/devices/ wird in letzter Zeit nicht mehr wirklich gepflegt.