good old wd40 did the trick..
fatlad
sorry to hear about your problem, can't understand why 1.2 has the problem but not 1.4 ??
Just a work of warning about WD40 based on long experience ( in industry as well as at home) - it is not designed as a lubricant just a Water Dispersant for electrical stuff and doesn't actually contain anything that can be described as a 'proper' lubricant, after a short while the WD40 turns to a kind of sticky gunge that attracts dirt, and after a longer time it turns to a lacquer that will stick things together. GT85 is much better, it disperses the water and penetrates the moving bits and contains PTFE which is a proper lubricant that will stay in place for a very long time without going sticky.
One bad habit of WD40 is actually to dissolve and wash away any existing lubricant in the equipment and replace it with - well nothing really