I would email the guy with the teal one for sale on ebay at the moment with like 900 miles. If you look in the back round of the one of the pictures he has a red cobra in the picture also. It may be a cobra r or just a red cobra????
It will probably end up like the red 1993 notch with 650 miles on there, the guy keeps ending the auction early and re-listing it even though it has gotten some good bids on like 21000 and up!!!!