ok let me see if i follow. you say u want to send it in the highest resolution to AE. the highest resolution you have is going to be the largest Red file. If your “F” red file is 4520×2540 then you are good. if your source footage is not, why go to 4k, your just upconverting and not adding an more ‘quality’. so set your FCP sequence to be the same size are your largest Red file, then reconnect your clips. then from your FCP sequence you can make your SGI files. The SGI file will be as big as your sequence frame size. i am not sure why you were going to color, sounds like just to uprez it?