Is the TV using Kodi to display the channel?
Wondering what is keeping the channel/tuner locked to the TV.
I use a cheapo Tanix TX3 mini headless for similar purpose, but all devices use Kodi, and unless they are actually displaying a channel the tuner is free to be used by other devices.
Maybe it is time to consider adding a couple of Sat>IP tuners to the mix 