Seems to me we've wandered a bit here. Originally it was about removing a dent, which is not exactly difficult to do. Sorting out a worn slider where the tube bore is oversize is an entirely different matter, which is what we had drifted on to and I was addressing in my last post. That'd be a nightmare of a job and, frankly, easier to make a new one.