I read somewhere that coins used to be shaved. Does anyone know how this is done? Is there a machine I can buy?