How long should a diamond stylus last on a record player