Not had a chance to get under the car just yet but I suddenly noticed a small oil leak on the driveway when the car is parked for several hours. It may be a coincidence but it started happening after the local dealer replaced the turbo coolant pump covered by a factory recall just over a week ago. I am also now noticing a high pitched whine and is engine speed related that wasn't there before although that diminishes once the car is warm. Could all of this be connected? The car is a Mini Countryman S with 59,000 miles on the clock.