Not at all. $35 for a pi and $200 for HDMI>SDI converter is significantly cheaper than any media server with that many broadcast outputs.

For IPTV - each TV needs a decoder. Hard to beat $35 per set. Plus running our own stack means we can tune for latency unlike an app on Roku/ATV