its pretty tough to slide the timing belt off and on with the spring still attached, without really pulling on it. when I did it it worth a minute or two to unhook the spring so I can move it with risking any damage to it. But either works really.

yeah and up here in the rust belt those marks on the pulley are long gone.