did some more searching on cylinder head bolts and washers and found out that the older factory bolts did not have any washers but had a flanged tip which acted as a washer for stretching?

I suppose I will just go through with the job and hope for the best with a new headgasket and see what happens.