Gracias a todos por vuestras sugerencias y comentarios. Espero no tirar demasiado hacia el "off-topic" en el hilo si vuelvo a escribir al respecto.

Había ya considerado las opciones mencionadas, más el Google TV de Thomson, el Engel Youin, el Mekool ... me he decidido por el Nokia más que nada por su mando "convencional", también un poco harto del minimalismo de los mandos de los Smart TV modernos y de, por ejemplo, el del AmazonFireTV Stick mencionado.

Además, que el Nokia 8010 cuenta con 4 gb de RAM y 32 Gb de almacenamiento, y habrá que ver opciones futuras de actualización del Android 11 con que cuenta. más dos conectores USB-A y uno C, este último solo para carga de dispositivos.

Acaba costando casi el triple de lo que me costó de oferta el AmazonFireTV Stick 4k, pero no me gustaba la sensación efímera, durante los segundos largos que tardaba de cargar la app "tuneada" de HBO Max o un poco menos la de SkyShowTime, siempre con la duda de si saldría algún pantallazo similar al que recibí ayer por la tarde, así que , para algo que uso a diario (por comodidad, apenas utilizo ya los discos físicos que me salen casi hasta por las ventanas, pese a seguir comprando), si el producto sale satisfactorio, no me resulta traumático; y si no, puedo devolverlo e ir a por un Chromecast o un Xiaomi TV Box S.