Great fix, but you are lucky to have a friend with a machine shop. They are rare in my area, and the ones we have are very expensive. Every time I have needed some machining done, it would have cost me more than the project was worth, or I have been told that my project was not worth their time. Course what your friend did may be something a person with some taps and dies and a drill press could do themselves. I haven't had the problem yet, but I will keep this in mind so if I do, it is a fix I could try.