I have 3 AGM Victron batteries 125Ah each in parallel (375Ah in total), and a lead battery 80Ah for the engine. Which 220V battery charger do you recommend me? I have been looking at IP43 12/30 1+1 and IP43 12/50 1+1. Should the charger have a 10% of the installed amperes? IP43 12/30 1+1 shall suffice and just will charge slower than the 50A version? Other chargers recommended? I’m planning to swap the AGM batteries by LiFePo4 in 3-4 years.