What’s the red stuff between the jack point and the battery? Does it matter if there’s a lot showing? My car was just at tire shop for a plug, they claimed to have pucks, but it didn’t appear to show in my pics when the car was lifted. Just concerned about the red under the car now.