Beyond saving time on the building, you will save money over the years and months on repairs.
Files rough-sharpen digging Tools and then to sharpen nicked or very dull cutting tools; sharpening stones must hone and look after sharp edges on cutting Tools.