There is a plugin for REDCINE-X to export the .RED media file for playback in #redray 

#r3d