Merci voor uw suggesties.
Het probleem lijkt inderdaad al opgelost door de stroom naar de tv-box even te onderbreken. Die procedure wordt hier af en toe uitgevoerd als de tv-box kuren krijgt. Had ik in dit geval nog niet gedaan.
Maar ik was me er niet van bewust dat je naar fabrieksinstellingen kon gaan via de menustructuren. Die optie heb ik nu teruggevonden, en de tv-box heeft die laatste procedure nu ook doorlopen. Hopelijk met goede uitwerking op de stabiliteit en betrouwbaarheid.
We zullen zien. Probleem voorlopig geklasseerd.