Io ho il Platinum con hard disk da 2 TB e non vedo quel canale in 4k.
prova ad effettuare una risintonizzazione dei canali satellitari presenti su Hot Bird.
dalle impostazioni del decoder trovi una sezione chiamata “altri canali SAT”, da lì puoi effettuare la sintonizzazione e i canali trovati te li inserisce in numerazione dal 9001 in poi.
stessa identica cosa per il digitale terrestre, la sintonizzazione si effettua dalla sezione “digitale terrestre” e i canali vengono inseriti in numerazione dal 5001 in poi.