4 ms·

I should point out that it doesn't matter how long it takes to downshift as long as you're in the right gear by the time you start turning.