I have just had to replace the belt on my drilling machine using the green 4mm belting. Those instructions were great Jim, I used a Stanley knife blade held in a vice and heated it until it was red hot and then slid the belt down the cutting edge holding both ends at the same time, as they came away from the blade I held them together for 20 seconds and then left it to cool, then just trimmed the join. That is the first time I have ever managed a successful join 
Thank you
