Would just replacing the head gasket fix the problem, too, or do you mean shave the head and replace the gasket? I think I saw some bubbles in my oil last time I checked, but I'll have to go see for certain.