Thanks; that's what I seem to remember, but I figured I'd double check that against the collected wisdom of the forum, just to be sure.

I don't want to jinx it, so I'm not going to add anything more than a very interesting crank turned up here at a very interesting price; I've been after one of these for some time.

I've called; I've confirmed it: it's genuine; but that said, I've never dealt with a crankset from that period, so I wasn't sure if I could dovetail it into the drivetrain I had in mind.