Jack, thanks for the parts info and measurements! That is what my battery area allows as well.
Can you tell me what brand of battery you bought?
Some of my confusion came from looking at , for example,
a Sears Diehard 27F online which looks great until I find the 12.6" length , which is a deal killer.