Well, I went ahead and used the stretch washers, everything seems good. I suppose the washers are a just in case additive to make up for machined head differences, or stretched bolts.

Thanks for giving the level of confidence to proceed!