Add a DAC or Mods?

Let me start by saying I love my Jolida JD100A. I can listen to it all night and without fail it brings a smile to my face. That said, there are moments where I miss the detail and extended highs of other players I've had and heard. Would appreciate thoughts on whether or not to have upgrade mods done to the JD100 (clock, clock power, V-Caps, power supply) in search of better detail and peresentation, or add a DAC and have the ability to switch back and forth depending on recording or mood? Budget would be around $6-900 on whatever I do. Anyone else have this dilemma or any thoughts on it? Thanks