I'm looking for a way to have a 5.1 main setup playing TV sound, and play music sourced from a Roku (it only has an HDMI output) in zone 2. I want good audio quality, but would like to spend under $500. From reading all of the threads about HDMI downmixed to zone 2, this does not seem achievable with a single receiver. What are my options for mixing different components? I am happy buying as much as I can used/older models.