@2andy since you have ARC amplification chain and you have ARC DAC9 at the top of the list, it feels like that would be your preference.
Synergy with all the ARC gear removes the headache of voltage and impedance matching. Plus you get consistent sonic signature that you don’t need to guess how to balance out bright or too warm.
Only thing I would check if buying a used DAC 9 is the USB card compatibility with your streamer. I believe the earlier models were not compatible with Linux based streamers. ARC should be able to tell you if you provide them the serial number.
Goos luck!

