Having checked that a new leisure battery will fit in the compartment, I’m disappointed to find that it actually doesn’t! The lid sits about 1.5cm too high. I think the measurements provided by the battery retailer didn’t include the terminal posts. So I now have the choice of either returning the battery for a different model, or of modifying the underside of the compartment lid, which has moulded plastic bracing (see pic). It would be easy to remove some of this at the relevant points, but I thought I’d check on here as to whether this is a bad idea. Thoughts?