Does the thickness of a vinyl record matter?