Bought a railroad spike knife. Are they worth sharpening and using or just for decoration?