I know I'll have to retune, it was more of a mechanical question. I'll pick up a dozen and have them on hand. I've read to cut off the old ones, then lube up the new ones with anything from vaseline to oil to dielectric grease and roll them on. That sound right or is there a trick to doing it?