Thinking of buying a Pan E60 to replace my JVC VCR. The JVC has a remote infra red eye which switches my old Nokia digibox on and selectes a channel so I can timer record. Does the Pan offer a similar facility or is there another way to achive the same result?