One concern , if the hg's went. What other damage was done, if any to it ?
Could have warped head.
If I didn't already have a car to flip I would go look at it and possibly buy it. Then check timing, if off I would reset, and replace head bolts (he can't time an engine I don't trust him to torque down the head right).