Yep, manual. Easily the tiniest shifter I've ever seen, the throw was minuscule, it wouldn't have been out of place on a rifle. Spotless underneath too.
The only slightly disappointing thing was the sound, but I only heard it on tick over, not at 8K. Would I drop £70k on one if I had that lying around, not sure. But a great slice of automotive history.