I've since removed the battery and put it in the garage on a 2amp charger overnight. Before that, I had already checked with the DVM.
Before, the battery was showing only about 11.65 volts. With the meter on it, I plugged in the shore power line. DVM went to 11.66 right away, but no significant...