#1 Idler Pulley (timing) fastener tool?
What type tool is used to remove/install the #1 Idler Pulley? This is the passenger side idler pulley used to tension the timing belt. I'm about to install a complete timing belt kit and will be replacing this pulley as well. The fastener is not part of the kit.
From what I can tell in the videos/pictures, this is an allen wrench but I can't be sure.
I'd like to have all my ducks in line before beginning the job.