hey.....
....if you're going to have your clutch redone, spend an extra $150 and get the heavy duty Sachs (OEM supplier) clutch kit. that way you'll never have to worry about it again. sure, there will be dust buildup from slippage, but it probably won't fail again or have problems burning out again.
just while you're spending your money, do it wisely. just my opinion.