That is a hefty budget for an AVR! I am a very happy owner of the 3808 (for $1100 for 6ave as mentioned above) and highly suggest it.

If you want the built in wifi and 10 extra wpc you can find out with the 4308 would run.

I just went with the 3808 and used a linksys wirles gaming adapter to convert the ethernet port into wireless.

-David