That removal tool is for a different strain of Badtrans. The Symantec page for W32.BadTrans@mm.enc currently has "no additional information." Maybe they'll have a removal tool for it soon.

Jeff