I am just wondering. I am looking to buy a B7 S4 at some point this year and I will def. go for a tiptronic. Now, does every tiptronic comes with paddleshifts or were they an extra ?