Out of those PJ's mentioned, the Hitachi TX200 would be my vote, but I'd agee with the Panasonic AE900 and Sanyo Z4 comments..
I demo'd these together, and they where amazing..
In the end I went for the Z4, any difference in PQ was neglible, but
1. 3 Year warranty + Free Bulb voucher, the panny only came with 1 year's warranty (unless things have changed since January?)
2. Z4 has a motorised front cover, and access holes to the LCD panels and is supplied with a dust blower, so dust (which can be a complete PITA) is something you can deal with yourself
3. If being installed offset from the screen centre by a reasonable degree, the Z4 lens is sharper when lens shifted.
4. The Z4 seems to suffer with no/very little VB.
The Z4 is £1149 from reputable places, which is £200 more then the panny, but the 3 year warranty + free bulb is worth £500..
It's worth reading up on projector central etc, and avforums, as there are small differences between the projectors that may suit your usage....