How do I spend $5000? A CD player or DAC for my De

After my fiasco with auditioning McIntosh 871 universal player (which I didn't like at all) I'm now considering either buying a dedicated redbook player instead of Sony XA9000ES and keeping my Denon 3930 for DVDs only or indeed buying a DAC to use with Denon as a transport. I don't think I'm ready to spend more than $5000 for either. The thing is I simply don't know which is better - a dedicated $5000 CD player or Denon 3930 plus $5000 DAC? I'm selling Sony anyway - the rack has place for only 2 sources and of course I need a DVD player anyway. What do you,guys, think?
__________________