I'm sure I read the aux belt needs changing more frequently than the timing belt but I can't find anything useful after looking. Anyone know if it's true?