ACtually I was wrong. Around 7,000 by my quick math. I had a 2000 Formula M6 that was fun to track down in 2007. I looked VERY VERY VERY hard to find a hardtop option but they just didnt exist. Almost ended up with a Purple 98 and they only made 27 of them. Guy sold it the day before I was scheduled to look at it.