In reviewing many product pages, I found a single ~$70 HDMI switch w/ RCA audio out that *claimed* to do what I wanted but was from a no-name brand on a no-name website; this was sketchy enough ...