You can go with the Onkyo TX-NR818.
...It has the much more sophisticated and highly executed Audyssey MultEQ XT32.
And you can find it for only 900 clams!
That would match your Def Tech speakers perfectly. If I was you that's what I would do, I think.