Anyone out there know what IR code you should use for the SilverCrest SL65 Satellite set top box? It was bought from Lidl and is a great little box but I want to use it with my TIVO and there is no listing for that brand in the guided set-up. The box is manufactured by Comag in Germany. Again no listing for Comag in the guided set-up. Any help would be apreciated.