That’s good to know. One of the reasons I bought it was seeing so many on Craigslist with over 200,000 and asking a grand or so.
You do need to be diligent about timing belt replacement. Small price to pay.