Ciao ho un decoder ts7900hd, ho letto che per registrare serve un disco esterno(o chiavetta da 16gb), ho provato a collegare un disco esterno, collegandolo alla presa usb, ma se provo a registrare mi dice "hdd esterno disconnesso" sbaglio qualcosa? Il disco deve essere vuoto? E poi è possibile registrare i canali Premium?