[JL]

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.

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.

 

[JL]

I would love to get it removed

So take it in to a tech and get it removed. Shouldn't cost much and you can also have them look for anything important in terms of playing condition that needs fixing.