Anything above 13.2 up to 13.6 would be a good maintenance charge.
Does your charger step up to about 14.2 v when first plugged in to shore power ?
Having to add much water to the batteries?
I'm running an antique ( original )charger with a manual high rate charge of 14.2 , switch it down on the second day in the park to 13.2 batteries are fine, and I'll stick with it , unless it fails .
JMHO. your fine as is.