I have a compac 23 with one new marine battery from late last season, and solar charger that seems to work quite well, but it's an older charger from 2009, so I think it's time to do a thorough deep charge . What do you think about the Noco genius 7200, or a Marine pro 4.3 amp model ...any ideas what I need ?