no, my better half is using all things apple ...
I am old fashioned spinning silver discs on a 20 year old Krell CD DSP -> e20 DAC -> HD800. No personal experience with mp3 but occasionally using internet streaming radio from a Cambridge Sonata NP30 and the latter SQ is just good enough for some background listening.
I'm coming from an also about 20 year old Stax Lambda Pro /SRD7MkII/ED-1 and the new HD800 is revealing things that I did not hear before, as well as clearly better sound staging. No contest there in that aspect. And I'm still using the "infamous" single ended stock cable, plugged directly into the exasound e20. I'm in the 2014 batch for a GS-X MkII, maybe in summer... ;-)). I have not heard the current Stax 009.
I just thought that a 009 / BHSE combo is as top notch as it can get and then feeding some mp3 music files sounds a little strange, even literally ;-))).