Thanks, Immigrant. Are you referring to this video? http://youtu.be/KP1G_LS0weQ
I noticed that this other guy does it with standard (non-luthier) tools: http://youtu.be/c527_CtazOQ
Don't know if this latter technique is recommended, or not, but it certainly would be less expensive (from a specialized tool perspective), although perhaps a bit nerve wracking.
I was also wondering if it would make sense to first gently bump the fret with a soft-headed hammer, just to make sure it's properly seated, or if this would be a bad idea?