Octane - airplanes get hit by lightning every day, literally (on average, every commercial jetliner is hit ~1/year). Everything still worked, no indications of a problem, so they kept going. I'm sure the pilots were as shocked as anyone when they saw the hole (although they may have wondered why it was louder than normal on the flight deck during the flight).