I've got the vinyl...just trying to work out the best way to get it onto a digital format...
What kind of output does your record player have? Some newer ones have digital out, in addition to phono line out.
There are also converter boxes: I'm sure we could chip in (or maybe someone has one to lend).
But y'know, the boss could also just whizz us a copy of the original digital file and stop all this faffing

If all else fails, take a nice hi-res picture of the LP: we'll be able to analyse it and extract the audio signal from the grooves
