Porsche, the TipTronic does not have a hydraulic clutch like the semi-automatic gearbox in the Ferrari 355 and 360 F1. It's a normal automatic transmission with the possibility of manually selecting the gears.
Personally, I also prefer manual gearbox, there's nothing more satisfactory than nice heel/toe action while braking (plus you always get the looks of bystanders
)