Thanks eclou, I never use octane boosters, just added some 100 octane unleaded and will keep the car around 94-95 US octane for a while and see what happens. The car is running fine so far.