I've been getting a slight increase in revs when changing gear, say about 500-700 rpm max, usually happens when changing gear on boost. Is this 'normal'? , is the clutch sensor known for causing this? The car's had it's clutch replaced in 2009 by Audi and has done 25k miles since. Car is 225 S3 and hasn't been mapped.