Just had the same situation as your mum did a couple weeks ago. I'm at 169.880 and didn't need to do all that your shop is doing. Just replaced the belt, tensioner and have the timing done. Works just fine without a hiccup. Only cost me a little over 400 since this happened on the road.
