Fitted a new AGM auxiliary 12V battery. It’s a Prius-spec battery and slightly larger than the original. Fits OK with a new battery clamp. Probably overkill but overkill is usually about right.