I was under the impression that the pointy end of a divot tool was actually for nubbing a cigar.

Around the shop I've been known to slip them into the 12 point box end of a short end wrench.