Personally, for under $2500, I'd get a NEC 1065.
I work at a Large University, and we are constantly evaluating video projectors for our classroom use. We just built 2 new buildings (60+ classrooms), and all the 100-150 seat new classrooms are using these projectors. The larger 200-400 seat rooms use $12000 Sanyo Projectors.
The other brands with numerous models we evaluated: Dell, Infocus, Epson, Mitsubishi, Sanyo, BenQ, Panasonic, and Philips (before they discontinued).
Our criteria was...+3000 lumuns; Connections; Compatibility: HDTV:
1080p, 1080i, 720p; Quality; lamp hours; and a few others that I can't remember. Quality was probably one of the key issues. Since these are ceiling mounted in classrooms we can't be taking them down once every 6 months to get serviced. Ask if you want additional room details...AMX, extron, etc.
I hope this helps.
Reorx
ps: I can't stand going into consumer electronics stores and seeing their projectors. ie: Fry's, BestBuy, Circuitcity, Costco. They always have some poorly rated sh!t projectors that they are selling for an arm and a leg. We have a 5lbs portable Philips that puts them all to shame in every aspect. It's laughable. /sigh Poor unknowledge average consumers.