Inputting and Outputting Media > Importing Media Files With Import Image Menu > File Import Menu > 
Importing RED Media Files
 
 
 

Use a Gateway Library to import RED media files. See Importing Media from a Gateway Library.