Thanks, interesting reading.

I plan to stay below 14 CR and run pump E85 (summer grade only, ie 82-85%) for the lowest cost hot rod fuel I know of.

If I could get denatured ethanol (95-98%) cheap enough, I would be tempted to run that with a top end lube additive.