Given the choice wich projector would you guys choose for a 100" screen in a dedicated room?

for the same price I'd choose the 9000 ... but I'd probably pay up to $500 more for 1080p .. just to have it.