Hi Ray,

Here's a post I made in 2005 showing what we have been using for terminal repairs:

[...] [[...]]

The tool has already been referred to in this thread. Eight years later, we have found no issues with any of the repairs we made.

Regards,

Tom Ge... Login to read more.