Id stay away from the Turbo kits. To much money and it really wouldnt hold up to well with an auto tranny. If I were him get intake exhaust headers and NOS. that should take him to at least 14s.. If he wants more I believe they sell torque converters for the auto tranny and he can reprogram his chip so that the tranny will shift at a higher RPM when racing.