if you could choose between the denon avr-3808ci or the pioneer vsx-94txh which one would you choose and why? you thoughts are much appreciated. :) or any thoughts on other receivers in this price range