Scusa, se il tuo riparatore è un professionista e ti fidi di lui , fai come dice lui.
Comunque penso che le soluzioni siano valide entrambe , dipende da quanto é l'interferenza che rende "duro" l'innesto del collo . (Magari piu che grasso direi olio)