9400 miles is a common time for VAG cars to want a 10,000 mile service (with 1000 miles grace), purely because it is 15,000km, the service interval on the continent. If you google "9400 mile service" you'll see all sorts of VAG owners saying theirs is due then, be it Audi, Seat or Skoda. At 600 miles earlier than expectation for it to be officially due, i'll not sweat it. If there is a fine tune to set exactly 10,000 miles rather than the mile equivalent of 15,000km at PDI then it hasn't been done on mine for the past few cars at least. My dad had the same on his, so I would guess mcmaddy is due the same, being from the same dealership.