I would change the belt by 100k. Cheap and easy preventative maintenance. Ill probably do mine sooner since I don't put many miles on.