Replaced the dying battery in the pumpkymobile (95 540) today. Got a Duralast 49-DL battery from Autozone per the board recommendation. However-

The battery holddown is right over the vent on the battery. Do you trim the bit that comes in the kit with the battery so it sits more flush/not compressed by the holddown?