Had the Clutch TSB done on Friday under warranty on my 2002 SE with 24K miles. They just replaced the disc per the TSB. I get it back and it actually drives smoother when releasing clutch in 1st gear. I drove hom e12 miles and all was fine. Next day I start the car and the check engine light comes on and stays on. Car drives fine. Any ideas? I know on my 4th gen I could pull the codes. Can I do that with this car too? If not-I'll just take to the dealer to fix. Maybe they bumped something?