The most damning piece of evidence is that they have twice the encoder delay (mp3 encoders add a few samples at the beginning and end) that the file would have if encoded once (from VC PS2 for example).