On my PC system Redcine sucks too while exporting DPX sequences. I found another way : using After Effects and the Red importer plugin (downloadable at red.com/support). You can create batch exports of 10 bits DPX at full resolution. Quite slow. Sure there might be problems of time code, etc.. (I haven't tested all the details, I'm so desperate to be on PC as Red releases most of the useful apps on Mac).