Given your viewing area and budget, you should consider whether you want a standard throw or short-throw projector. The Optoma HZ40HDR is a standard throw, great for larger spaces, while something like the BenQ TH685i (not in your list but worth considering) is short-throw, better for smaller areas. Also, think about whether you need built-in smart features or if you'll use a separate streaming device.