Vinyl to ogg|mp3 ?

[Jim Cheetham]

Do any of you guys have a working setup with a vinyl record player
hooked up as an input source for an ogg or mp3 encoder?

I have a number of "real" records (about 10 or so) that I'd like to have
a digital copy of ...

-jim