Thank you! I will start by getting a charger from Amazon and trying that. I assume that an 8A Charger/Maintainer would work? Although it is true that we have not been driving as much as we used to, we still drive about a couple of miles a day to get the kid to and from school, so I will report back.
Today things got more interesting. The car would not start and it was giving all sort of random errors (no ABS, drivetrain, steering...). I switched the lights from automatic to off and that seemed to do the trick, at least for now.