The AV10 can be had for a bit over over 6k at the moment … less if you go refurb (which is what I did on my 8805).
Powering the front 3 with a separate amp and using the AVR for the surrounds is a smart move …