Any thoughts on whether it would be advisable how (or if) to wash/clean Chipco chips? I recently bought a set that really smell like smoke and are generally dirty. (I plan on using these for cash games.) I would appreciate any thoughts. Thanks.

-Matt (#R7270)