The only review i know of for the 5009 is from a German web-magazine http://www.areadvd.de/hardware/2011/...x_nr5009.shtml
You might try to use WebTrans or Auto-Translation from your browser to get some meaningful text, although the translation is quite crude sometimes this way. They finalized their rating for the 5009 with the verdict "Masterpiece", stating is has been the best AVR tested ever.
I still would assume, that the most bang for the buck comes from the 3009, because it share most of the features and design concepts of the 5009, but i am not certain about this, naturally.
If you can afford it, you still might go the 5009 way.