I remember I have a small article about it. I can photograph it if you want. It is indeed a sort of F1 clutch, but with the normal stick. Just shift and the automatic clutch will figure it all out. It is a rare bird, and a very rare bird if it is RHD. Can you write down the VIN for me if you see the car? I like numbers of rare cars 
