Here's a silly question for the group. When I learned to drive a manual transmission many years ago, I was always told to double clutch when you downshift. Now that I'm back in a manual transmission car for the first time in years, I was wondering if it's necessary. Thanks... jhb