Well Control4 does all of that for you. Do you have a Control4 Controller? The Neeo is the newest remote and is amazing but you can still control of of that with an SE260 remote as well.
You can get Roku TVs that size for 2-300 bucks and then add the black wire Roku Tv driver https://www.blackwiredesigns.com/store/roku-tv-ip/ Probably going to be the best bang for your buck. Most Sony TVs have really good IP drivers but are a touch pricier.