you could probably even replace "paint/nail varnish" with grease or something similar since it should rub off to mark the spot and you can easily clean it off the pins once you're done.
Yep - grease sounds good.
Besides, I don't carry nail polish in my handbag - errrr tool box.