Mark if they don't drive a lot they can add some racing fuel to get the average up on the octane . I would try different amounts till the ping left , I'm almost positive a 50/50 mix would take care of it . I have read about Av gas , and I think you should talk... Login to read more.