I was revving my engine the other day and it started making a funny noise above 7k RPM. Is that a problem?