So went to mow the lawn and midway the tensioner pulley was off. Does anyone know the size of the nut? Dont want to go to ace and buy a bunch of nuts if i can avoid it. Also wondering how it came loose. Not sure if it is supposed to be a locking nut or just a standard nut.