x2.
Without knowing exactly how they did the test it's hard to be 100% certain, but a fully charged 12V battery, at rest, should be around 12.6V - that 13.5V figure is nonsense.
If the 12.58 was measured at the battery, while the engine is running, then I would agree that there is a problem, as I would expect 13.5V as an absolute minimum. If this was the case, I would suspect a fault with the charging system before the battery.
Bookmarks