The TV battery is original - just over 4 years old - and has not been a problem. I'm going to have it load tested and want to get the most appropriate replacement if needed.
I just wired the TV to charge the old trailer battery, a 33ah agm, that will be used to power the Dometic when we have it...