I've had a lot of success using the little Blackmagic Ultrastudio Mini Recorder, both straight out of the Red's SDI or HDMI or a handful of cameras through a switch.. it's great for the price point...