cele,
To address your question- $2-$3k will get a DAC that
keeps up with your other gear. There is a DAC du Jour
introduced every week so I am not going to suggest anything
in particular. Many good choices.
You have some very musical gear, congrats!
I use the Innuos Zen3 streamer which is a No-Dac, 3 box solution
I love. I also use the INT25. If you listen loud -80db+
and have a larger room -over 400 sqft- you may benefit
from a bigger amp.
Keep us posted please.