Newbie.. what CDP/DAC for Krell 400xi and ML SL3

Just starting my first high end system. What I have got so far:
- Krell 400xi (new)
- Martin Logan SL3 (used)
- Alpha Core MI2 single-wired speaker cable (new)

Now, I am trying to get a budget CDP (under $1000). Any good suggestions?

On the other hand, like many others, I have an Oppo971 for video. Do you think getting a DAC can be a good alternative? How about a used MF Trivista?

(Please feel free to comment on my current combination too)

Thanks everyone