Uh-oh. I hope he didn't actually drive 40k miles without an oil change. The engine oil and the turbo oil are one-and-the-same. -glen