Not likely the audience for this, but since I spent an hour hunting it down, the spade tool is called Wilton Thinline spade tool, just ordered the 10 inch.