[lydian]

 

[lydian]

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.