Does anyone have any experience with oil leaking from the head gasket caused by broken head bolts?

It's a 96 Accord 2.2 F22B2 with 97,000 mi.

Two bolts have snapped the heads off. The broken heads didn't move into anything so there doesn't appear to be any... Login to read more.