I'm looking for suggestions for a IPTV distro system for light commercial work. Something that could take 6-8 cable and OTA sources and distribute over IP to displays, with an easy way for the user to "change channels". I'm thinking something that works with hospitality TV's would be ideal, but I suppose a STB would be ok too.

I have lot's of big budget solutions, but I'm looking for something at a lower price point.