Sorry, I was working last night. But I think you're right:alien2:
I will have to double check. It started production in 1952, and several hundred were fully built then sold. They were available in kit form, though.
This info was taken from Automobile quarterly, 1972, no. 4 (or 2, I will check tonight)