I have a friend who may have miss-shifted from mid 3rd into 2nd on the highway, but didn't dump the clutch. It was a casual drive and says he disengaged the clutch as soon as it over revved. Data logging shows when the cels went of (p0341 p0346= camshaft position sensor) that the car hit 74815rpms. the car has only 3000 miles on it wrx 14. Is this something the warranty would cover?