Purchaed these a Tandy Leather. One tool on the right is for making a small gouge in the leather where the lace is going to reside. The other tool is for denting the leather where you are going to install the stiching.
Photo album created with Web Album Generator