cheap/used HD pj... ideas?

It is time to update the place and get a big ass screen. this means a projector is the way to go. I will be connecting it to my pc via dvi. Most everything played through the pj will be hd video files on the computer. no gaming, just movies/tv. I have roughly a 13' throw distance and will use a ceiling mount.

I was thinking maybe an Infocus 4805 ($500) or possible the IN72($550). I also saw an OPTOMA EP719 for ($620). I am new to this scene and am not to sure where to go.

Ideas?