That’s what I was told that was needed to be done also with the treatment to the gears and sliders. We’ve got a local well known transmission shop that specializes in these modern manual transmissions, RPM Transmissions, Anderson Indiana, I’ve never asked them what they charge but I’m guessing it’s not cheap.