I think pretty much any streamer/DAC combo will be a step below your system, even going used. If you’re up for it, I think something like a raspberry pi streamer with a Gustard A18 DAC would give you better performance than an integrated unit at this price level. It also gives you greater flexibility to upgrade one or the other as tech evolves. Anyway, that’s what I’d do FWIW, and best of luck in whatever you decide.