Another option to consider in that price range is the Anthem MRX300 receiver, to use mainly as a pre/pro, you could use some of the amps for extra surrounds or a second zone.
I was looking for pre/pros <5k and ended up with one. It comes with a slightly slimmed down version of ARC that's in their 6k+ pre/pros. Unlike the non-pro versions of Audyssey, it comes with a calibrated mic and uses a laptop for the calculations instead of the DSP in the unit itself.
It digitizes all inputs so ARC can be used, so it wouldn't work well if you want to use the DAC in your Oppo.
I was looking for pre/pros <5k and ended up with one. It comes with a slightly slimmed down version of ARC that's in their 6k+ pre/pros. Unlike the non-pro versions of Audyssey, it comes with a calibrated mic and uses a laptop for the calculations instead of the DSP in the unit itself.
It digitizes all inputs so ARC can be used, so it wouldn't work well if you want to use the DAC in your Oppo.