[alvin]

On my instance, the pin head is white.

One possibility -- the more previous owner looked at this white dot on the blue gun, the more he disliked it, so a little bit touch up. Private gun owners doing that frequently in gun's tool stage.