Vinyl Players — user manuals