Just got my car back from the dealership after they replaced the transmission and the clutch is a whole lot easier to depress. Has anyone else experienced this?