OP,
Personally I'd recommend using a separate DAC and streamer, technology in both is changing rapidly and easier and cheaper to trade up a single unit rather than a combo. A used Aurender N10 can be had for about $5,000, a used Aurender N200 for about $4,000. That would leave $3,000-$4,000 for a really nice DAC.