I've been reading a lot lately about double clutching and shifting without the clutch. Out of curiosity, what are your shifting habits? Do you double clutch between shifts? Does anybody "float" the shifts without using the clutch? Just wondering because I never learned any of those methods, I've only ever used the standard way of let off gas, push clutch pedal in, shift, release clutch pedal, and back on gas for all shifts. Any positive or negative benefits to these other methods? Thanks for your input!