On either projector you can hook up your DVD player directly to component input of projector, then hook up your HD satellite to the HDMI input of projector. I don't use my receiver as a switcher either. Make sure that $1800 price for the IN76 is from an authorized Infocus dealer. If not, Infocus...
That's a very nice projector. I considered it a while back, but it was overpriced. What does it cost these days? An even better 720p DLP projector is the Mitsubishi HC3000, for a little less than $1500. Check out the reviews at Projectorcentral.com and Projectorreviews.com.
I definitely recommend a 720p projector. The cheapest 1080p is $4,000. You can get a quality 720p DLP projector for less than $900, Mitsubishi HD1000. It's been getting great reviews from owners, and at Projectorcentral.com and Projectorreviews.com. A close second would be the Optoma HD70...