Yeah, the mechanic mentioned the timing belt, though I'm having a hard time imagining how that replacement alone could cost $800-$900, hence the remark in my post.

I will keep in mind your near-miss with disaster on your timing belt replacement when 90,000 miles rolls around for me. Thanks for mentioning it.