FYI, there were 5-red GTX1s were made.
3-no stripes (although one of those was originally a white stripe car)
2-red with white stripes.
There were also 2-candy red GTX1s built.
Kip Ewing was quoted as saying there were 38 cars made. I've documented 36 of them. They're great cars...