Después de unos días probando la solución que he adoptado, la comparto por si interesa a alguien.

Finalmente me hice instalar una parabólica con LNB doble, que permite pillar al mismo tiempo Astra 19.2 y Eutelsat Hotbird 13. Fue un poco complicado para los técnicos conseguir la orientación adecuada, pero una vez obtenida se sintonizan, directamente en la tele (poniendo solo servicios de TV gratuitos) unos 1.100 canales, de los que quitando los de radio, los codificados y los repetidos (con el mismo o distinto nombre) pueden quedar, calculo, más de 600, que ya es para aburrirse.

Como canales de interés, para mí, están:
- Los de la Rai italiana, los de la RTL alemana y muchos canales en HD alemanes, así como Arte HD, en francés
- Unos 10 o 11 canales en español, no muy interesantes, a salvo, quizás, de Euronews y RT News (canal ruso de noticias, en español).
- Supertennis HD, en italiano, 24 horas al día de tenis en calidad HD de la buena, toda una joya. Actualmente están dando Flushing Meadows.
- Eurosport 1 y Sport 1 en alemán
- Un par de canales italianos sobre automovilismo
- Y unos cuantos canales (7 u 8) en 4K (documentales) y 1 en 3D horizontal. Calidad impresionante.

Aparte de esto, el habitual montón de canales de noticias (BBC, CNN, CNBC...) y muuuuuchos canales árabes.

Ahora, los problemas (menores):
- El menú de la TV es horrorosamente lento a la hora de reordenar o eliminar canales de satélite inútiles
- Después de renumerar los que me interesan para que aparezcan juntos y pueda hacer zapping sobre ellos (dando al botón discover aparecen, en una línea distinta a los de TDT), al cabo de unos días, misteriosamente, se recolocan donde a la TV le da la gana, por lo que, a salvo de seguir haciendo pruebas a ver si averiguo a qué se debe esto, no me ha quedado otra que aprenderme los números de los canales que me interesan.

En cualquier caso, solo por los canales 4K, Supertennis, Eurosport y otros cuantos de deportes, ya ha merecido la pena, con creces, la instalación.