Projector comparisons

So my wife recently noted that our 65” Panny plasma is too small, and if I wanted I could look for a projector.  I keep up with most things in home theater and am trying to find a site that lays out a comparison of various projectors including discontinued ones. I see the merits in typically going used as a few years old top of line projector now costs what the entry level model does, with typically a better lens and more features. However I’m not 100% clear on how important HDR and other things are relatively speaking for my first projector.  We do a fair amount of Netflix and amazon and typically I purchased Blu-ray if cheap or I want the movie and have an oppo 205 to play them. The room for watching has no windows. I’ve been looking at some of the discontinued Sony models like 385 and the 1100 which sold for 28k. Looking for suggestions on how to work through this and any good websites that lay out features and comparisons to make ruling things in and out simple. Let’s say budget will be 4-7k. 
Thanks!