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