Hi there RED USERS!

First time caller long time listener... haven't been able to find any info about it, been tearing my hair our to nail down a post-process using premier/davnici the footage all has hot pixels and it needs to be masked and RED CINE-X seems like the simple solution but I can't seem to tell if saving the RMD files does anything in other programs... anyone else have ideas?

Is it possible to bring in an XML from premiere export cut down R3D files with pixel masks baked in then send those to DaVinci?

Any ideas would be freatly appreciated!