Thanks, Suz, that's good to know.
I replaced my battery
and before I went in to buy it I measured up the battery
box and got the biggest thing that would fit in it. I was aftraid that the new one wasn't going to fit when I went to put it in, but after some twisting and turning I managed to sneak it in. I bet it weighs nearly twice what the old one did!
On the subject of that bench, is the converter also mounted to it, and if so is there enough spare wire to pull the bench out far enough to see what's going on?
I haven't found my fuse box for the 12V system yet, if there is one... I also see that there is a cable TV jack beside the 120V outlet near the converter, but I don't know where the other end of the coax is (if there's anything hooked to it to begin with!).