Do these cars have the same engine spec as those of the manual's with different gearboxes? I assume they would be, but just want to double check.