I currently have a Marantz sr 8002 but I just came across a Denon 5800 for $150 that is in pristine condition.I know it doesn't have hdmi but that is a non issue with me.Sound quality which would you prefer?