I got to listen to very highly regarded Chord Mojo portable DAC yesterday running the $3000 Focal headphones. Source was Tidal via a Bluesound streamer.
I was comparing to various more modest headphones I run off various DACs at home all of which I find quite "musical" and fairly detailed.
Needless to say it sounded very good. How much better/different? Hard to say without extended compares. So it was not a total blowout as one might expect.
FWIW.