I would get a Unicable 2 LNB and a Gigablue UHD UE 4K UHD 2xDVB-S2X FBC (8 demodulators) + SPARE TUNER SLOT.
It would be over budget but future proof and give you 8 tuners to record on or stream to other boxes.
Sorry for my follow up questions..
Do I assume that it would just be a case of switching the LNB and the existing cables from dish to box doesn't need to be upgraded? On the LNB would the 2 ports both need to be unicable (most I've spotted look to only have 1, with the second being a legacy port).
And, when you say future proof - are their changes in the next 4-5 years within the Sat industry that would mean it comes into its own vs those other boxes, at which point they would then struggle? I have a plex server, so suspect I'm less interested in what extra things the box can run via plugin etc and more focused on the core satellite features - but equally I say that not fully knowing what these boxes are capable of..