Ok, finally got a chance to do the quick checks.

Engine idle, battery voltage reads 14.4V

Engine off, lights on for 1 minute, voltage reads 12.03V

So it seems it's borderline case for battery replacement. Is that your assessment too? What would you do?