Have been driving the car a bit, all seems fine.
I am giving it top-up charges after it has sat for a week. These charges take 10+ minutes to hit 14.8v at which the charger drops to 13.6v.
Doesn’t look like anything is flattening the battery.
Service next month, I will get the garage to check the charging system again – and gearbox oil level…