This is pretty common. I've used the pencil trick a lot.
You could also try Big Bends Nut Sauce.
Although be careful about how much you use -- it's messy and can get all over your guitar if you use too much.
Carl King[br]GuitarTricks Video Director / Producer