VW TDI clutch question