Surprised no mention of timecode. That is something that in this situation could save HOURS and consequently DOLLARS of frustration with post. Of course neither camera supports practical timecode which is another thing that should be addressed.
Yes, when mixing reality I try and provide the best mix my skillset and the situation will allow. The mix is for IFB, dailies, and as a guide track for syncing. When you have eight people jabbering at once, nobody is going to complain if you can't provide a broadcast ready mix. Though from the description I'm reading, I'm pretty sure this will never make broadcast.