For a fully blacked-out theater room, I’d focus more on contrast and image quality than max brightness. Under $3,500, Epson LS11000 is a strong option, and BenQ HT4550i is good value if you want to spend less.
Since your room is dark, a good white cinema screen around 1.0–1.1 gain would probably make more sense than ALR.