I have been noticing that many times on downshift when I have the clutch in that there is a significant whine. There is no vibration and when the pedal is released the noise goes away. It usually is when the car has been driven a lot, but not always. I saw a few other people have had this problem, but did not really see any good answers out there