Hi Grumpy, a couple of messages ago we worked out the pin should be at least 0.008" longer, I am thinking like you the longer it is without doing any internal damage the better it will be, as in life span. So yes 0.012" longer will do it. Will get this pin out and pass on to you.
