We just (6-9mo ago) replaced three BenQ SP920 6000lm projectors with NEC P502HL 5000lm laser projectors. Nominally they’re 1000lm less than the old ones but they appear brighter. I suspect that as the laser source ages the projector will dim somewhat, but who knows. We paid just under $4k each.
We also bought four P502WLs which are the same but 720 instead of 1080, for our overflow seating. They were just under $3k each.
No problems thus far. Five year warranty included, and at our usage even if we only get half the lifespan the manufacturer predicts they’ll still probably be obsolete before they wear out.
You can certainly get better products if you have more money to spend but these hit the price/performance sweet spot for us.