As I recall, the 34/78 Red Top (pretty much their standard size) should fit there just fine. They're not listed to fit in the RENIX XJ, but I've got two of them in service without any physical issues. RENIX has the battery at the passenger front corner - I'm assuming the later models to be similar (the 1997 I looked at looked like it took the exact same battery, stock.)
5-90