I tried to edit my previous post but apparently you only have 90 minutes to do that (which kinda sucks) but anyway this is what I wanted to add. Warning: What follows is untested and pretty geeky, not for those totally unfamiliar with Linux or unwilling to try using Tvheadend!
One other thing I would note is that if you don't have a satellite tuner BUT your satellite receiver will stream a live channel to your local network, it is definitely possible to install Tvheadend on a Linux server on the local network, and use that to capture and record the stream or to stream to other devices. And if your satellite receiver can be remotely controlled over the network (perhaps using some type of API call) it gets better yet, because Tvheadend might even be able to control your receiver to change to the correct channel on demand. In Tvheadend you would first need to create a new IPTV network, and you will want to limit the maximum number of input streams to 1 in that network (because your satellite receiver probably only has one tuner). And then using that network, you would have to create a separate new mux for each channel you wanted to tune, and in the mux URL field you would put something like this:
pipe:///home/username/channel_scripts/channelname.sh
In the pipe:/// URL you put a path to a shell script. And in that shell script you can run whatever commands you like, including sending instructions to your satellite receiver to tune to the correct channel, assuming that there is a way to do that. Then your last command in the shell script would be something like this:
(/usr/local/bin/ffmpeg -loglevel fatal -fflags +genpts -i http://address_of_receiver's_stream -c copy -flags +global_header -strict -2 -metadata service_provider=Channel_Name -metadata service_name=Channel_Name -f mpegts -mpegts_service_type digital_tv pipe:1)
You have to replace http://address_of_receiver's_stream (which may also need a port number) and the two instances of Channel_Name as appropriate, but this MIGHT allow Tvheadend to receive the stream from your satellite receiver, and record it or stream it to other devices. If that works, then you should be able to add the ffmpeg options from the second linked article [in my previous post] to give you 5.1 channel audio IF and ONLY if the receiver will stream a .ts format stream that contains all the audio streams (basically you want it to just take whatever it is receiving from your dish and put that out on the stream, without processing it in any way, particularly with regard to the audio). So assuming that all works, you could use Kodi (with the Tvheadend PVR addon installed) on a home theater PC that feeds your TV or surround sound receiver, and that should give you all the audio channels. Note that both Tvheadend and Kodi are free, as is Ubuntu Server edition and most other variants of Linux. You can run both Tvheadend and Kodi on the same machine if you like, and it's a great use for an somewhat older system that once ran Windows or MacOS, assuming it is new enough to have a HDMI output to connect to your TV or surround sound system.
As I said this is untested, although I do know that you can use a pipe:/// URL to launch a shell script and then have the shell script run ffmpeg to convert the stream. You can run ffmpeg directly from the pipe:/// URL too (as is shown in the second article) but the advantage of using a shell script is you can do other things (such as send commands to the satellite receiver, if it will receive them over the network) before attempting to receive the stream from the receiver. If you were clever enough you could even trigger an IR sender of some kind from the shell script, to remotely control a receiver that doesn't permit control over the network (just note that if you attempt to use lirc for this, you are probably going to want to install a pre-1.00 version because the 1.xx versions are crap that don't work very well unless you are the one genius in a thousand that can figure them out). Sorry I can't give you "cookbook" type instructions on any of this but I did want to at least mention the possibilities here, since not everyone may be able to afford a DVB-S2 tuner card.