What about just purchasing software for your Mac - Roon and HQ player? You can then either go straight into a network ready DAC or purchase an endpoint - like Sonore - to "convert" the ethernet into USB for a USB DAC. Roon and HQ player will cost you under $1K to purchase and are loaded with features, including some very high level filters in HQ player. Of course dealers will tell you that "a dedicated streamer is needed" but no one on this planet can demonstrate a rumor of difference across every measurable characteristic nor a plausible mechanism for why the sound could be any different. This is NOT a bits are bits argument - it is a modulated analog signal encoding digital data is a modulated analog signal encoding digital data when the signal is received by a modern receiver argument.
This leaves you $9K for the DAC! That would be a fun for shopping.