I'm to be editing an independent movie shot on Red. The audio guy is a hobbiest who is working for free, so the mixer he's using doesn't allow for setting frame rates. So what would be the best frame rate for shooting? What would give us the least amount of sync problems? 23.98? 24?