I noticed today, after a drive with the engine normally hot and the engine bonnet lifted, I heard (what I feel) is a little more whirrling noise coming from the supercharger while idling the engine in a quite garage. I will admit that I rarely find myself in this hot-engine-idling-bonnet-up situation (so my baseline/database is minimal) but I was just checking things over. I had the supercharger reputably checked/serviced about 11,000 miles ago (47,000 total miles now). I loosened/removed the supercharger oil port and oil did not leak out BUT a toothpick showed substantial oil (its just below the port lip).
What oil is recommended these days?
I lost the supercharger on another car due to loss of oil and I am paranoid.
Anything else I should look at?
Thanks!