Yesterday a honda service writer (not mechanic) cleaned my battery posts that were full of corrosion. I guess he didn't want to take a mechanics time. During the process he tore off the red plastic cover for the postive post. Does this cover serve any important purpose? Is there a way to replace it?