Thinking aloud: I found out that very long USB cables are quite cheap, for example 50 feet for $17. It would be easy to have such a cable go from the TVs through the attic and drop down near our office PC. Then we could easily change the content, or attach them to R.Pi boxes, or whatever.