AGM's are great batteries. Fast recharge, repeated low discharge, impervious to slamming and freezing. However, Group 24's would be a bit small, especially for house batteries. I'm going to assume these are also doubling as your stbd and port starters.
Personally, I'm a fan of dedicated group 24 starter batteries and a set of Group 31's for the house. However, I JUST ended my vacation and spent 11 days disconnected from the dock. I tend to overdo some things, but it depends on what you're doing.