when I got my car back from having the aero roll bars installed (wheeeee ) the auto shop said they noticed a small leak coming from the oil pressure sender. I asked them how big of a problem it was and they said they werent for sure because they didnt know exactly where it was from. I changed my oil about a month ago and I haven't noticed any drips since then. Is this actually a bad problem? What is an oil pressure sender?