You need to encode a 1920×1080 10bit Uncompressed file @ 23.98. Personally, I’d pay someone with a professional encoder and a little BD know how to do this work. Why shoot with a RED, then use prosumer tools to output a product the client will ultimately see? I can never understand this. Would you hire someone who has no RED experience to shoot?