Dan
The ppg code in the owners manual appears to be a Europe only paint.
My painter ended up using the red from a 2001 Honda S2000 (car) and it's so amazingly close I can't tell the race bodywork paint from the street stuff color wise.
I'll see if I can get the code for you.
Other than that I believe that it's Colorrite #7500. That being said Colorrite is VERY proud of their paint.