Hopefully I can get to it tomorrow, but I've never removed a pulley before on any engine.
How should I tension the belt back again ? does the belt stretch a bit to make it fit over the pulley by myself ?

Thanks for the help