Choosing a Projector

[NorthernBear]

I am in the process of having a home theatre installed in my home. The AV company installed a Mitsubishi HC7000 projector, however there were compatibility issues with 1080i/30 input devices. They are now suggesting that we switch the projector out for a Planar 8130 projector.

Question is, which is a better projector? The AV firm claims that the Planar is better, however the contrast ratio on the Planar is 10000:1 vs 72000:1 for the Mitsubishi. Both are 1000 ANSI Lumens.

Any idea if the Planar is better? They want to charge me an extra $1500cda to trade up to the Planar. Should I make the switch, or go with a different projector.

Projects is about 12ft away from the screen, which is 92 inches wide.

Thanks,