Is that an Auto or the PDK gearbox (which is quicker than the manual)?