Thanks very much for the Telestar links. I had come across the quad input device (and the Kathrein equivalent) and it was more than I could justify spending to use the last (4th) LNB slot I have spare -- in a guest room --, for those rare occasions when I want to make an additional simultaneous DVBS recording*.
I hadn't come across the latter (Digibit Twin) despite searching fairly extensively. A search on this site on "Sat>IP" and "Sat to IP" etc yielded very little, and searches on eBay, Amazon, AliExpress etc. weren't sufficiently informative. I have yet to find an explanation of MARS firmware for GTMedia boxes eg, or come across any mention of their being used with TVHeadend client; advice on any similar box that supports Sat>IP welcome. A Pi running LibreElec with a USB tuner would be my default but I couldn't find any Linux compatible USB tuners without drawbacks (the Sundteks eg) and certainly not the ones mentioned on the raspberry pi site.
The Sundtek Tuners (eg. Single / Dual DVB-S2/S2X USB) are well supported and libreelec even has a sundtek plugin included. And according to customers the Tuners also work with ZGemma STBs
STB Support requires some additional software which is included in the driver package.