i got the top harman kardon one when i worked at circuit city, probably comparable to this current one:
the store sold it to customers for $1000, i got it for $280 through employee pricing directly from harman kardon. Go to circuit city and pay some kid 50 bucks to order you a receiver, save yourself 70%