Battery was dead when I went to start engine about 2 hours after shutting down following 2 hours of mowing.
Suspect battery is junk (it is at least 3 years old).
BUT…when I charged it overnight, it came up to 12.5V and started engine, and here’s the thing, when I measured V at battery while...