You are right, it doesn’t mention re programming although some sites seem to imply it needs to be.
Replacing the batteries was really very easy and in truth could not be done wrongly . I can phone the dealership in the morning but really hope I can sort from inside the car . Thanks for the link though, Michael