Had my 10k service done at awesome gti. It had 10210miles on the clock, when the mileage turned to around 12500 my service light came on. Guess cause awesome gti forgot to reset it, but anayway, point is that the 10k service light didn't illuminate until 12.5k, wierd.
A spanner on the trip counter appears for about 3 min to let you known about interval servicing.