Have you looked at the Onkyo TX-SR805? That receiver will kick those other two around like a rag doll at a very reasonable price. The add pops up at the top of this site quite often for it, $900+ Shipping. I feel it is leagues away from the other two receivers mentioned. It supports HDMI 1.3 and all the new high resolution HD audio formats that you will be able to use once they come out with appropriate HD DVD and Blu-ray players that support bitstream of HD audio. It also has the newest Audyssey auto calibration program. It has the highest THX certification available, unless something has changed in the past few days, THX Ultra 2. It is worth note that it weighs an astounding 50 pounds and is quite dimensionally large, so placement would be importance (be sure it will fit on your entertainment rack, same goes for any reciever I suppose)
Good luck