What pitch mark / divot tool do you use?

Just out of interest?

I have a St Andrews one that I keep for use on medals or comps. It's a silly superstition thing.

Otherwise I use an asbri golf one I bought off Amazon. It's great, it flicks the fork out and has a magnet on the back for your ball marker.