Those things are supposed to free up when you oil them. Cable adjustment is also important. I hope your mechanic will try those things first. I would definitely have tried some motor oil or automatic transmission fluid because they have detergents which dissolve sludge. The ATF is probably the best bet because it isn't normally changed regularly and automatic transmissions can get plenty hot, so the fluid probably has more detergent.