A friend just let me know he is looking at a 993 at a decent price (<30k apparently) in good condition, he is going to bring it to his 'Porsche guy' to have checked out, but it is auto with the selectable gears (I believe trip tronic was Porsches name). I know literally nothing about these trans. Are they just a slush box with a manual gear selection over ride or are they a sequential type gearbox? Reliability? I told him to man up and wait for a Manual but he is insisting this deal is too good to pass up on.