Mark Ritzenheim's advices are hitting the pin on its head! I never
would even think of using anything else but a pinblock and pins --
no glue, no oil, no nothing. But I'm an old-fashioned guy, you know!
Jan Kijlstra
The Netherlands
(Message sent Wed 10 Aug 2011, 20:49:07 GMT, from time zone GMT+0200.)
