Spraying helps pump gas.

I ran in hot rods pump gas drags in 06 with a 12.8:1 engine, and sprayed 200 at it on pump gas, in summer heat. I ran it later with pump, and sprayed 350 at it. When I'd drive it around on really hot days and load the motor at low rpm, it would ping.

I checked the filter regularly when racing it on pump, and spray, and never saw any signs of damaging detonation.