Shaving

I used whatever was there. Add washer, or shorten bolt threaded end by a small amount, still the same difference. End result was still the same. It quit popping headgaskets.
That is sorta/kinda true, but besides not having to "machine" the end off by a pro, or grinding on ones own & cleaning up the threads, a set of lubed & hardened washers results in better/more even torque on the bolts w/o all the grinding....................