OK stick-shift fans, serious question: If the new Civic Type R did come with a dual-clutch transmission... would you still take the manual?