My one deere tractor appears to have the stream of bubbles sign of a bad head gasket thing going on. But with no other symptoms such as white smoke or cross contamination so I'm not sure. Anyone know if the head gasket repair stuff actually works for small leaks? Or am I doomed to a 10k repair after 3000 hours