Thanks - my grandad an I took apart two old record players, those kinds you used to have in bars and such. We pull about two hundred old 45’s out of them, some being classics. Now we’re trying to find a way to clean them without damaging the labels.
That's called a jukebox.