I have never once used a divot tool in my life.
But I'd totally give it a go with that one.

nostr:note1cj6uxf5svpw3qtef4rdvsm730vpzp6wnl7deu2pq4726sqfsa4tqeadgfy