Great, looks like you have the Ethernet sorted out. Lots of options under $10K, you should consult a dealer who can give you options based on your existing system and preference like separates (DAC plus streamer) or one box. Since you’re new to digital streaming, I recommend working with a dealer who can afford you home audition and able to walk you through with any setup issues.
As far options, look into Lumin and Aurender, they offer steamer only and streamer plus DAC (one box) options.