And would flop about in the battery tray like a prick in a bucket…..
All of the battery trays I have come across, have some built in adjustment for battery model differences. My present battery is one size larger than the official largest size which is supposed to fit. It has the same footprint, but is around 3/4" taller, which just allows the top case to fit. I think the original spec. only allowed for a battery style where the lugs were the highest point, whereas the battery I have now has the lugs set below the top of the battery.