Choices out there are more limited than I'd have thought, for an integrated with (i) 200+wpc and (ii) a built in DAC. The Goldmund and McIntosh are two others I've come across that meet the criteria. Any others out there I'm missing?
Make sure you get a price on the lower end of their going rate, under $6k ideally. I know the 585.5 is technically a few years older than the 5805 that preceded it, but imo, the build quality on the 585.5 is far superior.