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)?