Definitely get a SAT>IP server - 4 tuners.
Look for a
Inverto IDL-400s
Grundig GSS.BOX
Telestar Digibit R1
They're all basically the same hardware, I have the Digibit R1 and it's best piece of DVB hardware I've owned after using a number of TBS DVB-S2 cards over the years.
You should be able to get hold of one for around £100. I bought mine on Amazon.de delivered to the UK as it was cheaper that way. Just checked - Telestar Digibit R1 can be had for EUR 117.99.
Run TVH on a separate system and you'll have a nice setup.
My SAT>IP server just sits in a cupboard where my satellite cables come in and runs 24/7 without skipping a beat. No driver issues, no tuning issues, no reliability issues. It saved me a lot of hassle after messing with TBS drivers for years.
<<