Sounds like the room has zero light in it which means that while the 7205 would be a bit brighter, it holds no added value over the AE900 which is also a fairly bright unit. In fact, I compared the AE700 to my AE300 and was suprised at how much brighter the new projectors are.
DLP needs to drop a good $1,000 or more IMO. Heck, they should cost the same as LCD to be competitive with current LCD models. The bottom line is that for under $2,000 the AE900 is bright, has great image quality, and bests or equals most DLP projectors in quality.
Let's add - the AE900 includes a 2x zoom lens which allows you to more easily place the projector in the room.
It also includes optical lens shift which means you can put the projector a few inches above the top of the screen to a few inches below the screen and ANYWHERE between and maintain image quality. This is good.
Really - two years ago I would have given a different answer to this and I couldn't afford a DLP back then. Now, LCD is just a step ahead. I have seen both the 7205, 7210, and AE700 - the AE700 I wouldn't call worse - or better. Just abut equal... and a heck of a lot less cash.
An extra grand+ in your pocket means a nice new receiver or a killer subwoofer or a decent screen.