There wasn’t any indication of internal damage when the belt stripped. The manual says the valves can hit the pistons if the timing isn’t correct. Stripped belt pretty much guarantees the timing being off. However, when the pulley broke, the seal on the other cam let go for some reason.