1986 Toyota MR2 head gasket repair

My husband thought our MR2 was garbage after he diagnosed the problem as a blown head gasket. A very kind friend offered to help my hubby change the head gasket, using his garage and tools. They both had fun doing it, and completed the project after just a couple weeks. While in there, he also changed the water pump, replaced the drive belt, distributor cap, rotor, and the damaged oxygen sensor. He did two oil and filter changes, two radiator changes, and flushed the brakes. I love this little car, and she's back on the road :) He used the green Toyota repair manual, that I got off of ebay, every step of the way.