Add the Elite vsx52 to your list. Can be had from dynaco.com for $539. Elite's will tame any bright speakers as well if not better than any other receiver. See the December issue of Home Theater for a review if interested. Scratch the Marantz 4500 but keep the other two and the Elite and you'll have three excellent choices.
I would not recommend the 4400 or 4500 because the 5400 and 5500 are better units and can be had for very good prices. It is worth the extra bit of money to move up to the better receiver. I don't have a problem with any Marantz but the 5400 was the real bargain in the 400 series and will remain the same in the 500 series. The 5400 is an outstanding receiver and it's great power supply puts many units at twice it's price to shame in 5 channel mode. Probably the best buy in a under $700 receiver in years if not ever. At that price point a big factor is value for the money and the 5400 is the best value in this price range.