in the middle of my TVB job and using Tim's video as a reference. When installing the tensioner idler pulley, Tim installs a washer behind the pulley. My truck did not have this washer on the old idler, and a new one was not included. Anyone know what the thickness of the washer is>?