Almost all DACs and amps in this price range are almost perfectly transparent to the source. You don't really have to worry about optimising or synergy. A K5 Pro would do the job quite well. I like the JDS Atom stuff, but it will be more expensive due to import charges.

Also, I'd go for the HD600 if given a choice. It's very similar but has a tiny bit more treble clarity.