I recently had to have my 3312ci looked at for repair. The repair facility decided it wasn't worth fixing or too costly, so they referred it back to Denon for a suitable replacement. I was just recently contact by Denon and told that I will be receiving a refurbished AVRX4000 for my replacement. I have never heard of this model before, and I am not really versed on the newer Denon products or lineup. Is this considered a suitable replacement for my 3312ci? Any suggested readings on the differences between my old AVR and this one, or any information about the two and their differences would be appreciated. Thanks!