Hi - my system is pretty similar, broadly, and I’m running a MacBook with Roon/Tidal as my source.
When I upgraded from a DAC comparable to the Pro-Ject, I went with the Benchark DAC3, and am delighted with the choice. Hadn’t anticipated the difference would be so tangible and immediate. I don’t feel any desire to search further. Had the same reasoning on budget, btw
I use Tidal, and decided I could live without MQA given how good the Benchmark is. Haven’t missed MQA (or, said another way, I’m so pleased with the sound that I don’t really care about further experimentation)
Returnable if not to your taste (if purchased as an amazon prime member)
(I Kimber Kable for everything (their second tier up) - figure it’s well built with good materials, and that’s enough mental investment in cabling for me)
Let us know what you decide, and enjoy!