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
I had the Aria same time as Gato and BAT. The Aria is an incredible value (gave it to my daughter), but to all who listened to my system, not as good as the far more expensive Gato and BAT. Though maybe you would prefer it...
"...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.