Just to follow up, the 4TC AGM batteries are the direct replacements for the OEM batteries. They ft perfectly. The posts are a different length from each other however, so you have to rotate one of the batteries 180° to be able to use the stock wiring.
Thank you again, Wingnut.