Hell, just about any Pioneer receiver from the last couple of years would be more than enough for that application. They're built pretty well, sound good, and are fairly easy to setup & use.
Was just at Costco today, and they had a really nice Pioneer VSX-D711 for $199.