What's your opinion about a good 10w30 conventional oil being used in a small, high-revving (7000RPM) car engine? The driver, BTW, redlines the car daily. Are the good dino oils pretty shear stable in this application? Should the change interval be reduced to 3K miles? Should synthetic be used? Thanks!