I have given up on making my IR extender work with the HR24-200 receiver so I bought a RC65RX remote. Do I program the remote with IR first then switch the remote and the HR24 over to RF ? Since I bought the remote from ebay stores , I am not sure I will get a manual with the remote. Is...