Thank you so much. I don't know the extent of the damage yet; we need to install the pulley to see if any valves are bent. I'll give your instructions to the mechanic. I have the seals and belt. Buy I don't have the gaskets. After assessing the damage, we'll have to look for parts to fix it properly.
