The remote for the vehicle has stopped working. Changed the batteries and that did not work. The remote appears to be dead. Replacement remotes are available on ebay at a decent price but require reprogramming. Is that done the way it is stated in the manual (i.e. Aim the remote at a sensor and press the button, put the key in the ignition and turn to position 2.)?