A local alternative cinema is looking for a not-too-costly digital projector to replace its ancient 4:3 beamer. It's a place run by volunteers and budget is limited to around US$10,000-12,000. The place mainly shows 35mm vintage prints, but there's need for a better digital option since more and more distributors offer solely digital versions of their catalogue titles, often on digibeta, sometimes blu-ray.
The screen has a width of 8.4 metres (27.6 ft) and height of 3.9 metres (12.80 ft) - the projector has to be placed 10 metres (33 ft) from the screen. The place is completely light-controlled, obviously.
Can anyone share some tips when it comes to models within the budget range - with enough lumen to cope with a huge screen and a usable placement option for the stated range of 10 metres?