@erik_squires
In the $500 range used I suggest you look for a used older NAD, Cambridge Audio, Rotel, Arcam, Marantz receivers (10 yrs old and older) with HDMI switching and can support and decode DTS HD-Master Audio & Dolby True HD and supports 1080p video. You can find one for around $500 or perhaps less since this is only for your HT needs and you already have Luxman integrated for your 2ch music needs.
In the $500 range used I suggest you look for a used older NAD, Cambridge Audio, Rotel, Arcam, Marantz receivers (10 yrs old and older) with HDMI switching and can support and decode DTS HD-Master Audio & Dolby True HD and supports 1080p video. You can find one for around $500 or perhaps less since this is only for your HT needs and you already have Luxman integrated for your 2ch music needs.