Update - pleased to say that, between a solar trickle charger and a 13a trickle charger plugged into a power pack, the battery didn’t go below 12.6 and started up first time, no trouble.
Weekend of camping with friends, done
Replacement alternator hunt…..started!