Just got a 30K service on my car, and ever since then, my idle has been weird. My idle in neutral jumped about 200rpms and is now steady at about 900rpms (which I don't mind because I'm going to be putting in ES MMIs anyway). My idle while in gear and with the clutch down is about 300rpms higher at about 1200. If I shift into gear from neutral, it will jump to 1200, and if I take it back out of gear, it will drop back down to 900 (all this while keeping the clutch down the whole time). Did the dealer just screw up my idle timing, or is there a more serious problem here?