While that's true he missed that mark so might just move on with good maintenance at this point.?
Keep changing it at a regular intervals (50 hrs) or so and should be good.
As far as belts go I have a Woods (Grasshopper) that's a 1997 model and 1100 hours running on all the original belts...