A friend of mine is replacing his receiver and speakers, and is looking to spend $1000 for the speakers (just the mains) and $1000 for the receiver. He's looked at Yamaha, Onkyo 797 (I think that's the right mondel #). He's probably going to go out and look at Marantz. I'd like him to look at Denon as well, but I don't know of a dealer near him. As far as speakers, he's leaning toward Infinity IL40's as his mains. Those are really the only speakers he's auditioned other than Bose. So what I'd like to know is, in the above price ranges, are there any suggestions for things to look at that he hasn't yet? Any big-time recommendations? Anything to stay away from? Any and all advise is appreciated. Thanks in advance!