You will have to change that part about tetraethyl lead in a turboprop engine. A turboprop is a jet engine powering a propeller. You seem to mean a turbocharged or supercharged engine, which does benefit from tetraethyl lead in the gasoline. It started to be added to gasoline back in the 1920s to increase octane, which reduces preignition in internal combustion engines.
Joe