worth doing a check 1st by fitting new belt to see IF he was lucky(very much dought it though) maybe just as cheap to get a 2nd head and have that fitted ALL dependant on damage to head OR even an engine at worst