I would have to check for sure, but I think they made under 10. The one that I know of is not red, it's actually a dark burgundy-(MARIMBA RED???). The owner has "ALL" of the PHS documentation on the car. One day he wants to sell it, one day he doesn't! I'm sure you know those guys? Hey "COUSIN VINNY", its me Rocky B.- "YO PAULIE- ADRIAAAAAN"!!!
-Later