That is correct. Red does not seem to make overbrights. Which makes sense as the doc for RedcineX says that the pipeline is Raw-To-RGB.
What I do wonder is what is the Red SDK feeding to the Premiere sequence?
RGB or YCrBr. I will guess RGB, but it would be nice to know.
Premieres doc is really bad IMHO.
Jef