Well, as one would think, the dealer's analysis agreed with the service manual. Voltage applied to the battery is in spec (12.6-15v under/not under load at 2500 rpm).
So, I am left to work the issue as described here. It was my first service visit, they treated me very well, replaced a weatherstrip, inspected brakes, changed DRL bulbs I didn't realize we're out and some other stuff -- no charge visit -- really very impressive. At least it's cleaned up and I already installed a Delco AGM battery which may do other stuff but won't spray acid around.
BTW, tried last weekend to replace the battery tray with a new one. Contrary to what the service manual says, one of the mounts for the coolant overflow tank sits on top of the tray -- so the coolant tank has to be lifted like 1/4 inch to get the battery tray out. The second mount for the tank is under the air filter box. Could not unplug the MAF connector -- may be damaged -- and could not pull the filter box loose from the grommets no matter how much rocking and pulling we tried -- so, fail at least for now. Amateurs!