Larry,

Thanks for that, but I've done my calculations...

My domestic battery bank is 315Ah. 25% is about 79A, plus running
load of say 10A gives a total required charging of around 90A. 100A
would seem a good choice as it means I don't have to run the
alternator at full speed.

Regards
Peter