Concerns about a recent loss of performance led to me to have a local garage plug in their diagnostic tool to investigate the issue. They couldn't identify any logged problems in the engine control systems but were surprised that the engine idle speed is 1400rpm. Is this normal for the 1.0TSI 115PS engine when warm? I seem to recall that it used to be around 600-800rpm at most but I may be wrong.