Could someone tell me: I'm eventually going to sell some circulated casino chips, but some of them are "somewhat" dirty. Is it ok to give them a bit of a cleaning before selling them, or is that taboo in the chip collecting world?