Reddit mentions of Denon AVR-S740H 7.2 Ch AV Receiver with 75W x 7 ch HEOS technology, Equal Power discrete amplifiers, Audyssey MultEQ auto setup and room EQ with microphone and Control app for iOS Android and Kindle

I can attest to the Yamaha's, i just replaced a RX-V373 with RX-V379BL and its fantastic. This was after 5 years of owning the old one. The one you linked to is nice, id also suggest this Denon:
http://www.amazon.com/Denon-AVR-S710W-Channel-Receiver-Bluetooth/dp/B00ZIGUE8Y/ref=sr_1_3?ie=UTF8&qid=1453909996&sr=8-
3&keywords=denon+4k

Also look at this Yamaha - http://www.amazon.com/Yamaha-RX-V677-7-2-channel-Network-Receiver/dp/B00ILCS182/ref=sr_1_1?ie=UTF8&qid=1453910182&sr=8-1&keywords=4k+yamaha+7.2

I found this on Amazon:

• Denon AVR-S710W
  
  It's $380, so it's the same price and it's in new condition. What you linked were both refurbished AVRs. Though they're at a great price / discount, I'd prefer to purchase a new AVR. Seems to offer more features than the Sony AVRs I have listed.

If you go with samsung avoid the onkyo receivers. I had major compatibility issues. I'm a fan of denons. I put together a little shopping list for you:

[Speakers] (http://www.amazon.com/Pioneer-SP-PK52FS-Theater-Speaker-Package/dp/B00IK8I9K2/ref=sr_1_21?ie=UTF8&qid=1463872417&sr=8-21&keywords=atmos+speakers) $550
[television] (http://www.bestbuy.com/site/samsung-65-class-64-5-diag--led-2160p-smart-3d-4k-ultra-hd-tv-silver/5184121.p?id=1219646565339&skuId=5184121) $2000
[receiver] (http://www.amazon.com/Denon-AVR-S710W-Channel-Receiver-Bluetooth/dp/B00ZIGUE8Y/ref=sr_1_1?ie=UTF8&qid=1463873137&sr=8-1&keywords=denon+s710w) $379

I'm not usually one for warranties but I recommend for the tv; I've been burnt before.

https://www.amazon.com/Denon-AVR-S710W-Channel-Receiver-Bluetooth/dp/B00ZIGUE8Y/ref=sr_1_2?s=electronics&ie=UTF8&qid=1468588895&sr=1-2&keywords=denon+avr

Here's the link to the newer Denon AVR-S710s that are cheaper than the AVR-S700 mentioned in /u/ZeosPantera's list
http://amzn.com/B00ZIGUE8Y

Thanks for your reply, I'll definitely look into those. What are your thoughts on these speakers with this receiver

If you like the differences you can get a new S710 for $379 new or $316 refurbished from accessories4less listed under the others in the Amazon listing. It would have a 1 year factory warranty and you can buy a factory Denon extended warranty straight through Denon that starts only after the first year of factory warranty is over instead of the sites own extended warranty which starts from the purchase date not the end of Denon's one year warranty.

http://www.amazon.com/gp/aw/d/B00ZIGUE8Y?ref=olp_product_details

I'm connected: PS4 >HDMI > TV and PS4 > Optical > AV Receiver

I have this receiver.

I know HDMI is required to get HD codecs, but when I go PS4 > HDMI > AVR > TV; it doesn't work.

Are you telling me you get your PS4 to work though your receiver? All my research points to this ability being removed with the PS4 2.0 patch. I'd love to know your secret.

Thanks for your responses

With that much budget you have a lot of options open to you. I'm assuming a simple 5.1 would be a good place to start. I've limited it to amazon and sets of speakers. You could also by separate books/towers to make your own set. However, in the name of ease I thought the sets would be better.

AVR - Denon AVR-S710W $430

Speakers - Pick a set

1. DefTech ProCinema 600 $620
   
   
2. DefTech ProCinema 800 $1000
   
   
3. AJ Pioneer Tower set $450 + SVS PB1000 $500 - You could also get the 5.1 sets vs the 5.0 but the sub is not that impressive. However, if you need to save money this would be an option.
   
   
4. Klipsch Quintet $280 + SVS above Make sure he goes and listens to the sound of a horn tweeter as they can be harsh to some. However I didn't think these are harsh as some of Klipsch's other tweeters.
   
   
5. Paradigm Cinema 100 $1000

I was thinking of a Denon, 7 channels and I can play with audyssey. https://www.amazon.com/Denon-AVR-S710W-Channel-Receiver-Bluetooth/dp/B00ZIGUE8Y/ref=sr_1_2?s=electronics&ie=UTF8&qid=1481346162&sr=1-2&keywords=denon+receiver

http://www.amazon.com/dp/B00YAO43YG/

http://www.amazon.com/dp/B00ILCS182/

http://www.amazon.com/dp/B00ZIGUE8Y/

Do you have an idea of how long the cable run is between the receiver and projector?

And here is good price for Denon refurb 320 bucks best receiver according to wirecutter [Denon] (http://www.amazon.com/Denon-AVR-S710W-Channel-Receiver-Bluetooth/dp/B00ZIGUE8Y?psc=1&SubscriptionId=AKIAJM4NKIQGABP2PIRA&linkCode=xm2&camp=2025&creative=165953&creativeASIN=B00ZIGUE8Y&tag=thewire06-20&ascsubtag=WC23349)

Future proof for 4k HDMI 2.0

EDIT or Onkyo TX-NR545 7.2-Channel Network A/V Receiver

Edit: Would this receiver work well?

• Denon-AVR-S710W

Mine does. But it's 7.2 I think you can get a 5.1 version though.
Denon AVR-S710W 7.2 Channel Full 4K Ultra HD AV Receiver with Bluetooth and WIFI https://www.amazon.com/dp/B00ZIGUE8Y/ref=cm_sw_r_other_apa_6dj6xb5TEMKMH

This is what I have in my home and I couldn't be happier-

Receiver-https://www.amazon.com/dp/B00ZIGUE8Y?ref=emc_b_5_t

Speakers-https://www.amazon.com/Pioneer-SP-PK52FS-Theater-Speaker-Package/dp/B00IRH0QMA/ref=sr_1_23?s=electronics&ie=UTF8&qid=1485682123&sr=1-23&keywords=pioneer%2Bpackage&th=1

I have a MartinLogan sub but it's not available on Amazon right now so you could either get the slightly more expensive speaker package with the sub included or look at something like the Dayton 1000 or 1200.

Receiver plus 5.1 set will cost just under $1000. I really can't recommend the Pioneers enough. I just replaced a Infinity Primus set I had and even thought the Pioneers are cheaper, the sound so much better, especially with movies.