What size nut is the nut on the driver side idler/tensioner pulley mine has came off and I'm trying to find one to replace it. I've found one that will kinda work till after work and I get a new nut.

Thanks
Thadd