My clutch is on the way out too and I will likely go for the TTRS option. This has been popular for about a decade plus on the USA mk5/6/7 forums and has the benefit of both being OEM based and a lighter pedal pressure. Decimal tenths have a great reputation however depending on where you are located, Midland VW / RTech / AKS also supply.