Hi all Im new to these forums,

I have a 2003 Civic ex 1.7 D17a2 auto with 125k miles. The car had a new timing belt water pump tensioner and all that recent. I just had a friend of mine who is a technician at audi install a head gasket kit as it just started to need it. he Put the kit in and resurfaced the head n jet cleaned, he never did anything with timing belt. he zip tied the timing belt, and left it attached to top pulley and never touched tension. We started car it ran fine, the next day threw a code for vtec something, then the timing belt snapped out of nowhere (35mph low rpm). Had it towed home to garage, took off timing cover and there was no belt in sight, it shredded. Im no technician, does anyone know if he was supposed to re tension it or think of any reason why that would happen?

He is bringing a scope home from work tomorrow to look into cylinder wells to see if it damaged any valves? Does anyone have experience with d17's surviving this? He was going to put just a new belt on it if he can't see damage to head. Would anyone recommend also replacing tensioner too even though it recently had a new timing belt? Thanks for any advice.