FWIW, his battery is likely a combo marine/ deep cycle/starting battery. Very few traditional deep cycle only lead acid batteries out there.
But again, if this battery cranked it fine last time, it’s not the marine designation that is the issue.
if it is a true deep cycle it may be part of the...