They did.
I had the first one, but didn't buy new. I paid €400 for a mint used one. [about £340] which was good value. Sold it on for same, I'd just added a rubber grip and threw in a case.
It was a great little compact, but just too small for my liking, always had the feeling it would just fly out of my hands, at a gig, even with the added grip.
And though the ISO performance was decent, it was nowhere near a match for the Fuji x100. Give me a larger sensor with a fixed lens over zoom anyday. Even cropping down on the Fuji images you're still getting better quality that smaller sensor images, especially in low light.
But ... I can see this being very popular. They are great for gigs and shows. The guy I sold my old one too was heading to Glastonbury. Biggest problem you'd have is not losing it!