Thanks…would hope they would have checked for a leaking valve cover gasket…but who knows. The rest of the car underside was essentially dry (as dry as it can be driving in all the slush slop on the roads here in Colorado today). The bolt with the oil(?) on it was pretty far up there…and there was smoke that seemed to be coming from the turbo area while the car was idling. I’ve read so many posts from people whose turbos failed catastrophically…just don’t want that to happen.