You shouldn't need a special tool. The tensioner just pivots around a bolt. Loosen either with a 17mm regular wrench or 8mm allen wrench (sizes are from memory, dont quote me!), depending on which your car has. You might need to put (If i remember correctly) a 19mm wrench on the end of the tensioner to rotate it.