Пинцет TOPEX, 135 мм 32D425