Just to satisfy my curiosity, and that of other mudcatters who have expressed interest, I have poked around for the source of those fabled laser record players. They are commercially available from ELP Japan (www.elpj.com) and they start from just over $10k - I said they were expensive!
http://www.elpj.com