TechniSat DigitRadio 10 IR 0010/3945