The remote on this vehicle has stopped working. Changed the batteries and that did not work. 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 at sensor, push button, insert key in ignition and turn to position 2)?