I have two Stradis SDM-275 PCI cards and would like to build a redundant single channel playout system with Airbox 4. Is this advisable? I also have two brand new Decklink Extreme 3D cards which I bought brand new for the same purpose. Which of the two cards should I choose? And what would be the ideal specs of the servers hosting them? I just want a simple 24/7 playout.