Well, I picked my car up from the dealership this morning. Service guy says they could not duplicate the SSN, but that they disconnected, lubricated and reconnected the wiring to the Amin battery. (Ok...)
At first, I noticed that the TPMS warning light was gone. As I was driving, the status was...