The Viewsonic Pro8200 (less expensive), Benq w6000 (more expensive), and Panny ar100u (the one you mentioned) are generally the 3 main contenders when needing a light cannon.
The Pro8200 produces a better image IMHO, it has a smoother more film-like look and will be sharper unless you get lucky on the convergence of the Panny. I have never seen this specific Panny that I recall, but I've seen so many LCD projectors, and DLP is sharper and smoother with better pixel fill usually.
The Benq w6000 overall produces the best image of the three, but it's about $500+ more expensive, and it's almost as bright as the Viewsonic in some respects, and it does better blacks, and is a tad sharper. However, it is noisier than the VS, and it has more potential RBE (only if you are sensitive to it), but it also has better placement flexibility.
The Viewsonic needs to be ceiling mounted and you need 9' ceilings to do it easily (although you can get away with 8' ceilings potentially, definitely 8.5'). The Benq has a little more placemnt flexiblity over the VS, and the Panny ar100u has the most placement flexibility.
Any of the three will produce a decent image, but the VS has better blacks and contrast than the Panny pre-IRIS, and the Benq w6000 has darker blacks than both of the other two.