How often do you change your supercharger oil? I know the manual has its own ratings... but if you drive it hard what would you recommend?