Still cleaning out the garage and I have this belt tensioner tool for sale!! $65.00 plus shipping and PayPal fees!!
Yep, you only need it when replacing an old belt or that old one has come off and your sitting there with a Mini that will not go... If it helps, I will cover the PayPal fees!!