I'm also potentially looking at a long-throw setup, and there don't seem to be many great options. My situation is even a bit more extreme - I'm hoping for a 100-106" screen from 19-20' away. This is a rec room setup, and there is a coffered ceiling where the PJ would normally mount, so my choices are either a long pole mount right in the middle of the room, or try for a back shelf mount.
Based on playing around with the projector calculator the ~2k options seem to be limited to the PT-AR100 and the Benq W7000. the big problem I'm running into is light fall-off at the far end of the zoom range. Even the 'light canon' PT-AR100 loses about 50% of it's lumens at this range, and 'only' provides about 18 ftl on a 106" screen. The W7000 does a bit better at ~24 ftl, but with the lack of vertical offset I'm not sure it'll clear the seating, and even for a 106" screen it wants to be a bit closer than would be ideal (I'd need to make a pretty deep shelf mount).
The Epson 5020 will also work, but once again you're not getting a lot of light - 17 ftl, and it's another step up in price.
In a completely dark env these brightness values levels would probably work OK, but I'm concerned that by the time you calibrate and account for any ambient light, they just may not be enough.
Any feedback on
a) other units that might work
b) whether I'm being too paranoid about light output.
As much as the rear shelf mount is attractive (makes running power/signal much easier, and would be visually cleaner), at the moment it looks like getting my existing HC4000 fixed (blown hdmi input) and using a pole mount is likely to be more satisfying than the rear shelf. I think I'd be willing to spend the 1.5-2k on a PJ for a shelf mount solution, but only if it offered a clear upgrade.