Attualmente vista la quantità di canali (e eventi) che trasmettono in 4K c'hai ben poco da registrare in quel formato....
Ma a parte questo, visto che stiamo parlando di un decoder con a bordo tuner in grado di ricevere segnali 4K e HDR, non li puoi registrare direttamente? Che bisogno c'è di una HDMI-IN per farlo? Spetta, forse ci sono arrivato, una trasmissione dal "cielo" non può essere ricevuta da questo decoder (forse) quindi serve quell'altro, e se quell'altro non ti consente di registrare ... Fuochino?