Jack wrote:
....
and for $4,300 I want it to function like a brand new machine. I
don't want to have to do troubleshooting on something brand new.

Fortunately, mowing season is over so there's no need to rush.

So, by next spring the battery will be discharged anyway...

--