I think it's normally replaced around 80 to 100k. Is she got it at 80k, I bet the person who sold it to her was trying to avoid paying for a new belt. I would get it done asap.