Why not have both? A gently used Denon 5910 can be had within your budget. You could also get a modded 3910 for the same bucks.
http://cls.audiogon.com/cgi-bin/cls.pl?dgtlplay&1196975244
OR
http://cls.audiogon.com/cgi-bin/cls.pl?dgtlplay&1197066727
-RW-
http://cls.audiogon.com/cgi-bin/cls.pl?dgtlplay&1196975244
OR
http://cls.audiogon.com/cgi-bin/cls.pl?dgtlplay&1197066727
-RW-