I went by the shop yesterday afternoon to check on progress.

They showed me the original head. What a sorry situation that was.

Mechanic told me that the head bolts had been bottomed out into the block, because of the missing washers.

The people that did the first job just thought the bolts were tight to spec because they were bottomed out.

Oh, and the "new to me" cylinder head? $900!!!! Total cost? $5400.

Oh well.