I had my hot rod in for service at my local mechanic for a few odds and ends. While there, it ran out of gasoline. Thinking that he would be helpful, he went to the nearby airport and picked up 5 gallons of leaded aviation fuel. He needed the engine to run for some of the servicing. Anyway, he may have used a gallon or so of AvFuel. When I told him that the car had a catalyst he dropped and drained the tank and put in 5 gallons of ethanol free Sunoco Recreational fuel. So my question is: How much leaded fuel will ruin a catalyst? I had a new custom welded exhaust put on the car a few years ago. I doubt that I have 3-4,000 miles on it. So the cat is virtually new. Any thoughts or advice would be appreciated. Thanks