TIP, Before you leave the dealership. There’s a common problem with a stripped battery cover captured well nut. Suggest to have the dealer demonstrate removal of the cover, and don’t overtighten when re-installing. Just saying, it can be a pain, better for them to learn the lesson and not...
Avoid over tightening battery box cover. Thinking the Dealer over tightened mine. Top nut keeper broke loose and only spun when backing out, and could not remove. Had to remove entire battery box and fender to get behind it. Murphy's law! Modified cover bolts with new bolt and wing-nut.