Wow! I just checked the price of a replacement hook assembly and the retail on that is $300! Usually we can just polish the nick out. If your tech knew how to do the job himself/herself, it would cost you a lot less. I would consider taking it to a different shop.