A friend of mine has a 2006 Mini Cooper S and it had a squeak that he thought was from the belt tensioner but it stopped and started tapping. After taking a look we realized the tensioner pulley was missing the bolt from the arm that reaches towards the front of the vehicle. Im wondering what measurements that bolt is so that we can get a replacement. Any help?