Basically any receiver from one of those brands you listed will be fine. Just pick the one that has all the features you need. You can get some refurbished Marantz receivers from accessories4less.com . You get a lot more receiver for your money because they are refurbished. Check out the sr-x300 and sr-x400 series, you'll get a good price on the X300 series because it's last years model.

-Joey