Good info, thanks Mombasa.
Regarding 24 / 25 and being able to use the HDMI output to monitor from the ground, could it be an option to record at 24p, then use 5DtoRGB to convert to 25fps.
I'm pretty sure this is possible, as I have converted some 24p footage to 25p before without issue.
This...