What troubles me is a $25 repair suddenly being $40. I'm familiar with luthier work, curious … what was the repair?