Recommend used digital source for $3K used

This spring, I'm planning on being in a position to spend some money on a significant upgrade. One consideration is a new digital source in the "not to exceed" $3K range. I'm currently using a Jolida JD 100 with RCA NOS tubes.

I'm open to both CDP's or transport/DAC options, and already assume I will get the most bang for my buck with a DAC/transport.