Vintage German Motorcycles.com: fixing a blown head gasket