Exactly, BFL.
If we go with 48 amps, for about a C/11 rate, it should have stayed in bulk mode most of, if not the entire time. And as Mex points out, these are AGM, so they should accept even more charge.
And I've re-thunk the whole thing, and it is possible the charger may have stayed in bulk for at least an hour and a half, before tapering started. So, 48a for 90 minutes, followed by amps tapering down to 34a over the next 1/2 hour, then down to 27a over another 1/2 hr, and finally down to 21a after a total of 1 1/2 hrs in abs.
... about 70 Ah's replaced in bulk (1.5 x 48), and about 30 Ah's in the following 1 1/2 hrs of abs.