I bought a used distributor off ebay the other day and the guy said it was a little "stiff" from sitting in his garage over the years. What type of oil/grease or whatever could I use to loosen it up?