Hi! I bought my Spider in December 2017, so I just passed 3k miles. Should I take it in soon for the first oil change / tune up, or should I wait for the oil change sensor to come on? I'm used to getting oil changes at standard intervals, but I wouldn't really classify my driving as "rough use," putting me in the every 4k miles category, necessarily. Thanks for your help!