Home Other Double clutch transmission in the MINI: faster gearshifts for increased driving fun