I'll just say that if there's a difference I couldn't hear it then, and 25 years later, I sure as h3ll can't hear the difference today.
As far as the difference between mp3 and wav, the corporate van's commercial vehicle audio system doesn't reproduce well enough for anybody to tell the difference between the original input format, whether it's CD, wav, FLAC, mp3, or whatever.
And what's a "tuba amp"?