He'll need to get the car retuned on pump fuel A.S.A.P, because the bragging right's of running Avgas aren't going to be worth sh*t when he blow's a hole through the engine block, running incorrect fuel. If he's rich, get him to have the car tuned on proper racing fuel (C16 etc), might even pick up a bit more power.