All dacs sound different. So, if you have a chance to listen first, do so. These are just my opinions. Others will disagree, and I would likely disagree with their choices.
If I were in your shoes and based on my tastes, I'd get a used Emmlabs DCC2. They go for around $4K. I had a DCC2 and upgraded it to the DCC2se. IMHO, the difference was very subtle, and probably not worth the upgrade. So for $4K you get extremely close to the state of the art DCC2se, plus it includes a great preamp.
I also had a Benchmark DAC1 w/USB in my system at the same time. The Benchmark was in a much lower league than the DCC2 and sounded dry in comparison--which it should since its $1K price point is much lower than a new DCC2se ($14K).
The other option I would consider is the new Empirical Audio Overdrive DAC for around $2500. In my experience with PC-based audio so far, no one does USB audio better than Empirical Audio. YMMV.
If I were in your shoes and based on my tastes, I'd get a used Emmlabs DCC2. They go for around $4K. I had a DCC2 and upgraded it to the DCC2se. IMHO, the difference was very subtle, and probably not worth the upgrade. So for $4K you get extremely close to the state of the art DCC2se, plus it includes a great preamp.
I also had a Benchmark DAC1 w/USB in my system at the same time. The Benchmark was in a much lower league than the DCC2 and sounded dry in comparison--which it should since its $1K price point is much lower than a new DCC2se ($14K).
The other option I would consider is the new Empirical Audio Overdrive DAC for around $2500. In my experience with PC-based audio so far, no one does USB audio better than Empirical Audio. YMMV.