I wonder how much it would be if it had five speeds :-)
The eBay car does have five speeds: I went to look at it yesterday as it's only a few miles from home.
It's a super little car, no blemishes that I could find on the paintwork apart from a chip on the wing-top under the bonnet (bare metal, but not rusty). There's a small scuff on the rear bumper, and a bit of alloy corrosion under the bonnet, but it does look like a two year-old car. The seller describes it as 'mechanically spot on', which I would dispute: the clutch pedal is sticky and probably needs a new cable, the brakes are spongy, again probably needs flushing and new fluid, the cambelt hasn't been changed in living memory, all the tyre are crazed and need replacing ... you get the idea! Basically it has been parked up and mechanically neglected, but a thorough service should sort it out - apart from the clutch and brakes, it drives really nicely.
It was registered by Lancar in August 1984, and sold through Tony Brooks to the only registered owner in October, so I doubt it was ever a road test car, but presumably was one of the first imports; I wonder why Lancar pre-registered it/
All in all, a lovely buy, but as has been pointed out, that's a lot of money for a Y10!