I like Audyssey-based receivers myself so would probably go with Denon, but Yamaha would be a close second for me. For speakers, I personally like Aperion, Axiom, Monitor Audio, and PSB, but get out and listen as this is what matters most with regards to sound and where most of your budget should go. As for the sub, your room is very large so you may need to up your budget; dual SVS PB-1000 for $949 shipped is the least amount of sub I would get for that room.
P.S. CrimsonTide huh? Harvard, other?