I'm going to try an all-rubber gasket and see what happens as it was $20. the plans next summer is to take the head off and decarbonize things while inspecting what we have for wear on the lifters, pushrods, valves and replacing a few seals. We're also going to do the timing chain at the same time. If the gasket fails again we'll go with what you got.
Meanwhile I've developed pretty serious camber issues on both front wheels, so I'm going to load the parts canon up and go in for a mass-changeout.
(not seen is another $120 in shocks)
Bushings, new shocks all around, new control rods, replacement coil spring and all that fun jazz. I'm not going to torture myself with the alignment so I'll likely get all the parts together, pull up at the shop across from where I work with all the bits in the trunk and say "Make it Good".