Rather unscientific, but I topped up the starter battery this morning.
Before I started, I checked the leisure battery voltage, gauge showing 12.3v
Plugged in the Noco Genius 5, voltage in both cab sockets went to 14.2v
Left the charger running until it showed fully charged, cab sockets...