I saw a vinyl copy of Pete's "Iron Man" at a local used record store, for $10. I had never heard of this before...is it worth buying? Thanks -mg