Both the 5508 and 80.3 will get you superior audio compared with the 9.8 as well as permit 3D passthrough, although that will not be required with the dual HDMI outputs from the Oppo. However, you might consider the BDP-93 since the only major distinction between the 93 and 95 is the latter's superior analog outputs. You would be best off using the HDMI with any of the three mentioned prepros (including the 9.8) anyway.
There is nothing else I would recommend under $5k.
Kal
There is nothing else I would recommend under $5k.
Kal