Those are stock replacement head gaskets and arent recomended for use with power adders. I would really consider getting different gaskets, even if the CR goes up slightly.....
I took yours and others advice. Some said the 8553's would be o.k. Some said they wouldn't. All say the 1008's would good. So I looked around and found a set of them for $35 shipped. They will be going in, instead of the 8553's. Not a big deal to change them at this point.