You have to realize that the Christie projectors are meant for much larger screens. If you check their website out you'll none of their projectors are rated for less than 4000 lumens. I'm betting you can run in single lamp mode which will reduce the lumen output. Even still, these two companies' projectors are apples and oranges.
The JVC you saw is meant for Home Theater, while the Christie's are meant for larger venue viewings. The Christie will give you more of a commercial cinema look and the JVC will look a bit different. Obviously the JVC will blow the Christie out of the water in native contrast but the Christie will blow the JVC out of the water for clarity, sharpness, and crispness due to better optics choices.