I saw someone here say the service manual said 6 years or 100k miles (whichever comes first). The owners manual does not say. Do I need to change it more frequently if I track the car for something like HPDE?