My father went over on age on his pilots timing belt job. Hadn’t made it past 100k but was around 11 years or so. It let go on startup at the mall on his wife. He’s not local to me but I’ve spoken to Honda techs who said they’ve fixed many by just replacing the belt - no valve damage. His dealer claimed they tried, but it wasn’t possible…junkyard longblock went in.
As far as OP’s belt goes, I’d say it was probably replaced. A dealer tech understands the severity of ignoring a timing belt too long. He gets a great deal on parts so he would use and trust dealer parts. The auto lite spark plugs don’t make any sense to me, though.
I re-read and you never said he was a dealer tech, just a dealer employee. Maybe he had a tech there do the timing belt job and he did the plugs himself as they’re so easy to diy.