Those are very nice buys at the price you are quoting. The 7400 would be my pick of that litter. It is a superior unit to the 5600. The drawbacks are that it is not as technologicaly loaded as the 7500 (no auto setup, not THX certified, only 2 component inputs). I'd say that the 7400 is most likely the best buy if the cost is the same as the 3803. It has only been replaced for a few months while the 3803 is going on 2 + years. Any of the receivers you listed would do a good job with those speakers, but , like I said, I think the best option there is the 7400.