Is anyone here up-to-date on which AV receivers to get right now? I'm still not ready to get mine, but my friend who's getting into home theater needs one. I'm sure a couple of you have specific models in mind to recommend. He hasn't set a budget, but since he's new to all of this, I don't want him to go crazy. Under $1000 would be a safe bet, and it's not like he actually needs the newest models. He doesn't have a 4K TV, and he doesn't seem to be in a rush to get one, so the focus would be on the audio section. I'm still leery of Onkyo after the multiple instances of HDMI board failure. Can anyone comment on whether they've addressed that issue? My refurbished Marantz has been treating me well for the most part. Thanks for any suggestions you can give.