Is the tool for setting the seal still available ?