Ver se isto ajuda...
Mas o comando custa 2.50€ e vende-se aqui:
h__ps://www.servelec.pt/contactos
h__ps://www.servelec.pt/loja-online/universais/telecomandos/produto/telecomando-universal-tv-jolly-jollytv
Se telefonar ou for lá eles com toda a certeza dar-lhe-ão o apoio necessário...