I have two Denon AVRs that i used in a custom home application that i recently replaced. Both are in great condition and were in a Server Rack.

Denon AVR-970 - $150 OBO
This is a great little denon, It came out before the whole IP enabled AVR thing took off. It does have 5 HDMI inputs, and supports the standard audio decoding for surround sound. This would make a great shop receiver or patio speaker.

Denon AVR-X2100W - $400 OBO
This is a more current Denon. Its a 7.1(assignable) Denon. THis only thing this guy doesnt support is Atmos, so 4K, Streaming Audio Services Etc... Works Great. It take IP commands so if you have an IP based remote control system you wont need to use IR. It also has Airplay and all that jazz.

I am flexible on price. If you are interested and want to ship it that can be worked out as well. I am located in Bulverde, TX.