Works great, always has. Has HDMI, includes original remote control and manual. Receiver is near mint condition, looks almost new, exceptionally well cared for.
Volume on remote doesn't appear to work (unless I am doing something wrong), other functions do work though.