Ah, thank you, alozzy and leftie biker. It's a fairly new and high quality battery, but I will do that.
I wonder if this is related. All last year during covid, I drove my car very little (averaging once a month). The 12V battery kept draining, so I finally figured out to unhook the negative...