Help finding High Quality Portable Projector

[neonerd]

I'm looking for a high quality, portable, 2500+ lumen projector with a dvi connector.
It seems like most portables don't have DVI since they don't go HD.
It's going to be used in a classroom-type environment, so lights will most likely be on.

EDIT: In the $3000-4000 price range

 

[Dinkbat]

Dan stop asking for these crazy things....

 

[YOyoYOhowsDAjello]

Did you look at projector central yet?

A projector with HDMI should work fine as well since you can get a DVI to HDMI adapter.