Best used integrated for under $5000


All
I am in the process of building a new dedicated stereo system and looking for both speakers and an integrated. For speakers as of right now I am leannng towards either used Rockport Atria (if I can find one) or Focal Sopra 2 (if no Atria comes around in 6 months). 

I am am moving to NY in 6 weeks and therefore don’t really know what the room dimensions will be. 

Sound I like :

1. A tad bit warm while still having a lot of punch (nothing muddled about it)
2. Vocals (Diana Krall, John Mayer etc) have a level of cleanliness to it
3. Guitar (Gipsy kings, Jesse cook) sound airy without being lean
4. It may be related to my first point above; forgiving of average source (eg high quality Spotify streaming, which isn’t that high quality after all )

Most of my source will be Tidal and strong preference for integrated amps with a built in DAC. Even better if the unit has a streamer as well. Otherwise I am planning to use Google chrome cast (is that a bad idea). 

As of right now my list has Hegel h360, Lyngdorf and Moonaudio 340i. 

I am planning to buy used. That means new prices probably could be as high as $10000. 

It would be great to get some recommendations. 
marrduk24
"...strong preference for integrated amps with a built in DAC. Even better if the unit has a streamer as well. Otherwise I am planning to use Google chrome cast (is that a bad idea).

As of right now my list has Hegel h360, Lyngdorf and Moonaudio 340i.

I am planning to buy used. That means new prices probably could be as high as $10000."

Based on my recent experience buying ’pre-owned’, the spec you’re trying to match, and the units on your shortlist, Micromega M-100 or M-150. Hell, if you’re targeting new srp $10K, you could buy the M-100 new & fully equipped (+ MARS room correction) within your used budget, and I’m bettin’ it would match if not beat anything else ’pre-owned’ at its srp new. You could probly even get some motivated dealer to sell you a new M-150 at your budget limit (sans room correction).

And no, Chromecast for Audio is not a bad idea as an additional source, contrary to what some special-interest parties may claim. With the right all-in-one integrated you won’t be using the Chromecast DAC anyway. Also, there are some modest (< $40) h/w additions you can do that allegedly ’jack’ its performance. I’ve done the additions but haven’t measured before/after.
Missed the bit about built-in DAC and streamer.  Would suggest the Atom and Nova from NAIM - have heard both and they are exceptional.  
@jl35 For 5K you can buy brand new Aria separates, preamp and two monoblocks.  It looks as if the Virtuoso is seriously delayed, and you still wouldn't get 3 entirely independent power supplies.
Love the BAT and Gato and really only need one.. but the Belles gear is awesome