Wow. Can you post the name of that shop? That's a good resource to have for when I get a razor with a chipped edge. I don't want to do that job by hand again.