Steve, the batery maker can tell you what the self-discharge rate is on those batteries. Typically 30mAH for a Group 24-27 battery, per day, so perhaps...150-200mAH per day for yours?
AGMs are supposed to be able to tolerate 3-6 months of self-discharge with no harm or damage once they are recharged, but again, check with the maker, and see what you would need for your setup. If your batteries are in parallel, you might not want to leave them joined over the winter, since one bad cell in one battery could then ruin them all. And that could mean separate smaller solar panels to charge them, complicating life still further. As opposed to just letting them sit, and coming by once a month or so to check the boat & top them up. (Which will be a quick job with AGMs.)