Been a while since I posted, but my truck just went in for the same problem. $4,000 repair. Luckily I have 2 months of warranty left. Does anyone know if an oil change is part of the repair?