If the output is digital does the player make any difference to the so Options

[db579]

I'm wondering whether if you had two media playing pieces of hardware outputting digital music would the quality of the device make any difference? For example say you had a cheap-to-mid range android phone or mp3 player playing a flac file and outputting over HDMI to a receiver, and a higher spec digital media player like say the Olive 06HD playing the same flac file output over HDMI to a receiver would you hear/should there theoretically even be any difference in audio quality?

Thanks