does anyone use a philips pronto remote with a sanyo tv or a yamaha vs-10 amp as i can not find any in remote central? thanks.