Do you all know what kind of batteries go into new Supra boats?

From looking at the owners manual, it makes me believe they're plain Jane Lead Acids...

I'd like to see Deka AGM deep cycle batteries. At least, maintenance free lead acid sealed batteries would be nice.