The batteries are provided by the dealership not the manufacturer and they tend to go with the smallest and cheapest battery they can find to cut cost.
Use what every battery fits and suits your style of camping... Alot of folks like to go with the two GC2 golf cart type 6VDC batteries "in series" to give them 12VDC at a 220AH capacity or more that really does the job when camping off the power grid and can be found at a VERY good price since there is a hugh demand for the golf cart batteries. COSTCO/SAMS club has great prices for them...
Adding more batteries or larger capacity type batteries may require you to install a larger capacity converter/charging system.
Roy and Carolyn
I claim Horse Creek Country in Southern Ill - Momabear is from North Texas
We live in King George VA
RETIRED DOD DOAF DON CONTRACTOR Electronics Tech 42YRS
"We're burning daylight" - John Wayne
2008 STARCRAFT 14RT OFF-ROAD POPUP with PD9260C and three 85AH 12VDC batteries
2010 F150 FX4 5.4 GAS with 3.73 gears - Super Cab - Towing Package - 2KW Honda EU2000i Gen
K9PHT (since 1957) 146.52Mhz
"We always have a PLAN B"