I've not used 2x mini recorders, but I have used a mini recorder and a (TBolt2 -> external PCIe box) quad decklink and a USB Web Presenter to capture 6x HDMI and SDI sources. You may need to get the drivers from BMI (IIRC, in the Desktop Video support package...)
-John