I understand Vegas is 8-bit (mostly). But I think R3D files are 10 or 12 bit? Do I need to edit in 32-bit video mode to maintain that higher bit depth of R3D files? Any help appreciated. It's not my camera so I don't know anything about it, other than it is from 2012.