As a parting question, what should one use to wash their dog? Usually I clean cutting tools with a bit of Barkeeper's Friend, but I'm thinking the abrasive in it will not be kind to the finish. It'll wear off eventually but no sense is hastening the process.
I use one of those plastic scrubbers with the plastic handles in the mop section at Walmart. That and some dish soap and hot water. Then dry and oil.