What do you guys think about automatic tranny? Would you choose "grey market" 5-sp or US version auto tranny? I come across "grey market" 5-sp not full leather interior for $3k but need TLC such as rear shocks, window regulators, tranny and AC rebuilt as well as valve job soon; US version auto tranny for $6.5k also need TLC but have done valve job. Any suggestion?