With the new battery, just checked and now 12.15v across the new battery, with all cables attached, ignition OFF, just like Bentley Service Manual specifies. Better than the previous 11.8V with the old battery, measured the same way, but below the 12.6V or slightly more they indicate I should expect for a fully charged battery, so I will run it a bit and see if the charge comes up. Not sure if this is even the right path to pursue, but the voltage is below spec at this point.