Alan Schnittman <schnitt <at> mindspring.com> writes:
> The "right way" to do this is with a plug gauge (aka pin gauge).

Ah, ok, this is the proper name in English. I did not see your post before.
Sorry for duplicating.

Peter

-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist