Which models current and legacy support true multiple in/out

Hi

I'm putting together a system for live video mixing using VMix sw.

We'll have 4 SDI inputs (1080i50) and need 1 SDI output.

Is there any 1 card that can do it all, or whats the best/most economical combination of cards.

Decklink Quad 2 has 8 independent channels.

Thanks

Any more budget-friendly solution card/combination of cards.

From what I can see there are:

DeckLink 8K Pro - Does this have 4 independent channels I could use as input and then just a mini monitor for output.

DeckLink Duo 2
DeckLink Quad 2

Seems these 2 cards are proper independent channels, upto 1080.

Duo 2 and a Mini Monitor should work.