My go to, in most cases, and I think it would work great for this job is the JVC LX-NZ3 B or W. It's 3000 Lumen, laser light source, and full 4K. The only thing you don't get is motorized lens control, but it's a set it and forget it projector anyway. Beautiful picture in my opinion, but they are DLP, so you might get that rare customer that sees rainbows, but I haven't had that issue yet.

Also, they are hard to find right now, so they're not getting whore'd out on the internet.