I realize service books are different but in the EU service book it says 1 year or 15.000 km, thats about 9k miles too. But it's good that you got the official answer.