So with the M80's, which would you recommend:

Denon 3809 vs. Marantz SR8002 vs. Rotel RSP - 1560

I would need to upgrade my 2805 Denon for the HDMI inputs/outputs anyways. If I did go with one of the above, you would still recommend I get a separate amplifier? We never listen to load music. We would watch movies, once a month or so.