I have a '99 Civic auto sedan and have been using Chevron 87 gasoline. After having the timing belt replaced, I noticed the engine seems to ping a lot. I tried a tank of 89 octane and it didn't ping. Is it possible the belt is maybe off a tooth causing the spark to be too advanced? It runs fine otherwise.