Used Onkyo TX-8050. Comes with two remotes, the one outside of the wrapper does work. I did not test the one that is wrapped up. Manual is also included.
eBay