@mulveling any opinion/concern regarding comments like "Magic eraser is an abrasive so I wouldn’t go near a diamond stylus with it."
Yes, good! The abrasiveness is what makes it an effective cleaner. Diamond is exceptionally hard; much harder than melamine. You either have to wear it down with other diamonds, or through massive attrition over time via softer materials (like thousands of miles of vinyl groove playback - which btw can also contain other materials from imperfect cleaning). Slow-speed dipping or even gentle rotational scrubbing with ME (once per session - don't be obsessive) doesn’t qualify as either.
This is like being concerned about rubbing alcohol being poison, but dabbing it on a scrape anyways. It’s not nearly enough absorption to damage your body, and the cleaning effect is more important to longevity.