Really, the key question is about usage and screen size. I do pro-AV for a living, and front projection is certainly my specialty. So, what matters most is your screen size as a factor of width to height. So, is it 20' wide, or 50' wide? What you have matters.
What projector are you currently using? Make/model? Are you happy with the image brightness that you currently achieve with the projector that you are currently using? This is a HUGE question, as it represents current light output vs. expectations of what something new will deliver vs. just getting a different lens on what you already own.
There are a lot of projectors under $10,000. But, it is impossible to say, without more information, what may be appropriate for your setup.
Typically a specified rating of no less than about 20 lumens per square foot is appropriate for a dim/dark environment. But, to maintain contrast, as room brightness increases, so much lumen output.
So - once again... How big is the screen?
For what it's worth, I'm a fan of Panasonic solid state projectors. They can be very bright and offer a wide array of lens options.
In addition, if you have a 8,000 lumen projector, and you think it needs to be a lot brighter, then you have to adjust your budget accordingly.
There are NO solid state projectors with a 1920x1200 resolution, which have 10,000+ lumens and are under $10,000.
https://www.projectorcentral.com/projectors.cfm?g=1&hide=0&st=1&exp1=1&r=16&br=10000-15000&c=&w=&db=&ar=&zr=&wt=<g=101&ll=&wr=&dt=&mfg=&p=&t=&pjl=0&pjw=0&pjh=0&td=&is=&i=d&tr=&tr2=&exp5=1&oop=2&sort=$&sz=15#top
There are quite a few which are between 7,000 - 10,000 though...
https://www.projectorcentral.com/projectors.cfm?g=1&hide=0&st=1&exp1=1&r=16&br=7000-10000&c=&w=&db=&ar=&zr=&wt=<g=101&ll=&wr=&dt=&mfg=&p=&t=&pjl=0&pjw=0&pjh=0&td=&is=&i=d&tr=&tr2=&exp5=1&oop=2&sort=$&sz=15#top
The Panasonic right at the top of this list is a solid option...
https://www.projectorcentral.com/Panasonic-PT-MZ770LBU.htm
It offers interchangeable lenses so you can buy the lens which is appropriate to your screen size and distance. But, if 8,000 lumens won't do it, then budget must move up.