On another forum, it has been suggested that problem is with the smaller backup battery, not the main battery. This was confirmed in a conversation with the service manager at my dealer.
The voltage measurements mentioned above only relate to the main battery.
The voltage measurements mentioned above only relate to the main battery.