I would be willing to bet his RV does NOT have a Gel type battery.. Most likely it is an AGM Why do I say this.. Two reasons.. AGMs have nearly replaced GEL in all applications and the bigger the battery the more likely it is to be AGM.
Why is this: Gel are very delicate, they need very careful care and feeding, AGM's on the other hand are far far more rugged and forgiving of charger errors.
OPTIMA: lists them as both GEL and AGM, but they are AGM. (Source: Optima).
Now how far can you suck 'em down.. Some discussion on that but frankly I believe the limits are more or less the same as yours
Starting batteries, designed for short bursts of high current, try to keep them as full as possible
Marine/Deep cycle, Try to keep them 78-80 minimum
True Deep cycle (NOTE: Much easier to find AGM deep cycle 12 volt than it is other types) 50 percent
Some folks however say you can go down to 20 percent safely... But I'm not one of them.
What I found when I tried some AGMs.
The were the last batteries I put in my coach when I got it.. I had the OEM batteries (Interstate U-2200), I had some Marine/Deep cycles, that pre-dated the motor home, And finally I added a pair of Group 31 MK AGMs.
When it came time to replace.. The AGM's were the first to go
The the older Maine/Deep cycles
And finally, last winter, the U-2200s (almost 9 years old, in fact 8 year 10 month) Also the startin battery (That was like 8 year six month)
Home was where I park it. but alas the.
2005 Damon Intruder 377 Alas declared a total loss
after a semi "nicked" it. Still have the radios
Kenwood TS-2000, ICOM ID-5100, ID-51A+2, ID-880 REF030C most times