Ben,
Good greif, I just did mine last weekend, but I caught it right before it was going out.
Ok, so it is the Belt Tensioner? or just a Pulley? There is a difference.
You will need a T50 and a 15mm to change it out. Just give me a call if you have any questions, any time since I just did...