As I'm working to sell my '07 e83 a perspective buyer took the vehicle to an independent for inspection. The inspection found oil in the eccentric shaft sensor plug. Recommendations are to replace the sensor and head bolts in the valve cover. Estimated costs are $1700. They indicated it was not uncommon, but I've not seen any mention of this. Does anyone have any back ground on this?