On May 3, 2018 at 19:27, buzz said...
If you have a spare DTV receiver this should work. Another scheme might be a little analog audio switch box that you can control. I guess it comes down to whatever you have in your junk box.
Unfortunately, I don’t have much of a junk box left after our office was flooded. Also, the job is a fixed price and I screwed up and underbid it because I didn’t really think it would happen (they have brought it up every year for the past 5 years but have always said there’s no budget for it). So I had no room for an unpredicted problem. I was starting to worry this morning that we were going to have to eat a small HDMI matrix.