Yeah....belts age over time and 7 years is a long time lol

It would tragic for your timing belt to go at 23.5k and tear the head to shreds and end up costing you more than a $900 preventive repair