· SOTW Columnist, Distinguished SOTW Member
Yeah, may not be worth a trip to the shop just to fix that little cosmetic glitch. OTOH, to answer your question, it's a very easy and inexpensive fix, so if it bothers you, it's no big deal to get it taken care of. A few years back when I had my horn in the shop for a minor repair (I think a pad replacement in the upper stack), my tech noticed a small dent in the neck and asked if I wanted it taken out. I said sure and he went over and grabbed some sort of tool, worked his magic, and in less than a minute or two, it was fixed. I don't think he even charged me anything for that part of the job.Personally I wouldn't bother getting that fixed unless it was just part of other work you're having done. It doesn't affect the pitch, and nobody will ever see it.