It depends on your longer term goals. Will you keep evolving your system to better sound? Or is this next purchase an end point?
I would recommend an Aurender A200 (combined streamer / DAC)… if you just want one and done. I own two Aurender streamers and cannot recommend them too highly.
If this is a step towards a better system, or really getting the most out of your system, then separates. They are both equally important. Aurender for the Streamer and… in that price range I don’t know the perfect DAC. I will say given the rest of your equipment if you want very top notch performance up to the standard of the rest of your equipment I would be looking in the $4 - $6K each range, DAC and Streamer. [my estimate is based on matching to,your speakers] Yes you can get stuff for less money.
Also, I recommend switching to Qobuz. The service sounds a bit better than Tidal but also has half a million high resolution albums versus Tidal… only a few.
My systems are shown under my UserID.