I am looking to upgrade my Sony VW675ES projector (poor HDR performance) and have come down to the [1] Sony ES915 vs JVC NX9 (laser beam vs 8K pixel shifting with 2200 lumens), in the $15-20K range, and [2] Sony ES715 vs JVC NX7.My space is dark, but 24’ from projector to screen, so brightness is important. Curious about the thoughts of anyone who cares to weigh in.