i stripped the tensioner on mine. very easy to do! a factory oem replacement is running 500$. parts .com has the same pulley tensioner for 197$. if you look at the style you are referring to with a nut welded to the tensioner the pulley is a different style than the oem with a bearing. its bolted on the tensioner as a single assy. not sure of the longevity of this style of pulley so i just orded the oem from parts.com

heres a link to purchase the elusive e11! http://bloomertool.com/FemaleTorxSockets.html