I bought the
/Pick of Destiny/ picture disc LP, and it came with a code to download non-DRM MP3s as well. Can't remember who released it for certain; was it Sony? (Seems ironic, I know.)
I have a theory that it's impossible to prove anything, but I can't prove it.