Here's a link to the Harman Kardon ebay site someone already mentioned. It is their official site, all warranties are valid. A little caveat though, one of the members here, coops, got a killer deal on a 7200, when it arrived it had problems right out of the box. Yes coops got it fixed for free, had no trouble with the warranty, and reported that Harman's customer service was top notch, but I like to make sure you've got all the facts. That said for the price he got I'd go through the same experience and a lot worse no questions asked. This site has two 630's up for sale today.
I like spiffy's mention of the Marantz 8500, although it does only do DVI switching I believe. That 8500 is a nice receiver at $1100. Yamaha's 4600 is about $1500 but it is the category leader for sheer amount of technology crammed into a box for under $2000 IMO. You should read the review of this receiver on this site. Very in depth and thorough.
If you'd like a brand new receiver for about $900 that not everyone on the block has how about this one:
Outlaw 1070 it should stack up very well to the Marantz. Pay no attention to the 65 watts power rating. That is all channels driven and measured with a respectable .08 THD. Most 110 watts per channel receivers would have a hard time beating that. It is missing the auto EQ though, and I know you said you'd like that.