FWIW, I came up with the same numbers as AJ for DCR etc., ASSUMING a .039" thick head gasket. If you have the head gasket info, that would be helpful; with a .028" thick head gasket, DCR bumps up to around 8.2. Should be doable, but moving to 93 octane would help (if you are not using it already).