Optoma - GT2100HDR

I'm really happy with my Optoma Gt2000HDR.

Looking for projector advice for nighttime projection mapping on a large house, approximately 50’ wide and 25’ high I recently purchased a Optoma GT2100HDR which claims to put out 4200 lumens but at 25’ away it’s not nearly bright enough. I used a 3000 lumen Benq TH672ST last year on a smaller home and it was MUCH brighter. I think I’m looking for the following but looking for suggestions. - Short Throw - 4000+ lumens - Full HD or higher resolution - Under $1500

I am currently using it (Optoma GT2000HDR) in my new setup. I'm using the Sig10 enclosure so screen is 10.1x7.7, ruffly 151" diagonal. I'm about 7 feet away and getting a nice picture at my 1440x1080 4:3 res. I think its pretty good for my lighting conditions and looks great. Its not even close to perfectly dark. The 4 corner fit is really solid, provides great adjust-ability. I got it for same price in sale last weekend from B&H. I'm pretty happy so far. I really wanted a TK710sti or AH700 but I can't justify the cost right now as I'm already 11k into this thing as is with a ProTee VX launch monitor so I think I made the right choice so far. I'll go 4k later but i'm perfectly happy right now.

Day or night? Assume night, the optoma laser series are very bright and not crazy price. I use one indoors, but room is pretty light during the day and image still good