I have owned the Audiocontrol Maestro X7, Marantz AV8802A, McIntosh MX122, Outlaw 976 in my main HT/Audio system. I do 5.1. Of all of those I I give the edge to the Maestro X7. However, I came across a great deal on the Krell Foundation UHD 4K and decided to pull the trigger. I bought it used. I have found the Krell to be a cut above all of the others for movies and music. Very simple setup (that's the one knock I had on the Maestro was it was more complicated than all the others), and easy to integrate. The Krell will not be going anywhere. I have finally found my HT Processor that truly shines for both music and movies.
You should be able to find the Krell for around 3.5K on the used market. I would recommend this above all the others I have mentioned. The only knock on the Krell was it doesn't have a true "5 channel/All channel stereo" mode for music listening. It offers a "Party" DSP mode which comes close but is not a true All/5 channel stereo...
Good luck!