Just an update: mechanic put the charger on the battery this a.m. He
said after an hour, it was bubbling all over the place. It is toast.
Looking for the comparable RG replacement right now. Oh well, learned a
lot, anyway. Thanks to all here for responding.