One friend of mine has Micro-X MDR 6000IR receiver , he wants to watch tps channels , so he may watch them in this stb, is there any procedure.