Update... so in the end I got the CTEK MXS3.8
When I plugged it in the other day, it jumped straight to charging stage 3 and pulled the Redarc in not long after that so both batteries are charging and I'm happy with that.