Of those two, I would go with the InFocus, which has been refining its home theater DLP projectors for a little while now and definitely is getting things right.
It doesn't look like either projector offers lens shift, so no matter which one you get, make plans to mount it exactly where it needs to go so you don't use keystone correction.
Also, if you don't know if you suffer from DLP rainbows, make sure to buy from a place with a fair return policy.
Finally: Make sure to read through the reviews at
www.projectorcentral.com and take a look at their 'most popular' projectors. You may change your mind to something altogether different