Mentioned above Epson 3100 at $1099 is the best option _right_now_. Or may be even new epson 2150 when it gets out and drops down in price as they claim it to be at 60000:1 contrast that looks suspiciosly close to what is claimed for 3100 - so it may have same optical elements and LCDs, just need to wait for reviews.
As of 4K units - 5040 was a good thing to get last year to jump on that train - but, right now, realistically, for HDR it is not bright enough, it does not have proper chip inside, huge box, and by the combination of all
factors it does not seem as a good buy for this fall. New laser driven models seem to be appearing by mass now, so, i think in an year time $3K segment of devices will have something you really need - a bright 5-7 K lumen 4K projector with enough light to work at daytime and enough light to do proper HDR at movie night.
PS. be sure during construction to put all wiring for 11 Atmos speakers and go with 4 speakers in the ceiling. I use 4 high mounted side surround speakers for 7.1.4 Atmos - but compared to embedded in-ceiling ones they kinda suck. Do one pair right above seating and one pair in between seating and screen. I would say sound stage planning for Atmos is a serious thing, and if you going to have seating almost right at the wall - it may create difficulties with rear surrounds.
Last edited by utkinpol; 09-11-2017 at 12:06 PM.