I don't know... When I bought the 12 volt I used I picked the best choice of many form the shelf from the tractor repair place I worked at the time, it fit the tray as it was but later on I made more room and it was much easier to remove and replace.
If the tray needs repair now is a great time to make some more room.
You can't have to big of a battery (within reason)

Grigg