I would suggest using a Decklink Extreme and capturing HDMI if you are using external media sources. This way you stay progressive and native throughout the whole process. Unfortunately you can only use one in a machine without problem.
Stacking media servers is fine but why not put all the content on one machine?