Last week, a local shop replaced the serpentine belt on my 2001 IS 300 (104K). They broke the bolt on the tensioner and then installed a brand new tensioner, splitting the cost with me. My portion was around $98.00. I took the part home, looked at it, and it seems to me that they could have just replaced the broken bolt instead of a whole new tensioner. Does that sound right, or am I missing something?