I had my car aircon serviced last saturday. They removed the battery so the alarm remote no longer work. Does anyone know how to program the remote back? I have done it before but I lost my manual. All I can recall is it involves pressing the red switch under the dash a number of times and then the remote lock and unlock. Appreciate any help.

Thanks,
Paul1