Hello everybody. I’ve owned my WTHC set for several years now without ever cleaning them, I’ve only used them around 15-20 times in the small home games I host. I’ve read about the Ultrasonic Cleaners, and various hand cleaning methods but I’m still very nervous about potentially damaging my chips. Any advice/tips would be great. I was thinking about using some Baking Soda and a damp cloth?