Dave, there's gonna be a big difference in lap times. When I had the AMG GTC last year for the weekend, it was the first time I drove such a modern car. In this case with double clutch. It shifts faster than the blink of an eye. It's almost a continuum. Still, I really like manual gearboxes for the fun it makes.