I had my jeep in the shop today and I had them swap out the battery while it was in there. They put in an Optimum red top sealed battery. When I got off of work I looked under the hood and noticed a blue liquid where the terminals connect. Is that coming out of my battery or did they put it there for corrosion or some other reason? Thanks in advance.