repair of stone mills