OK, well, if he leaves the belt on and turns the crankshaft pulley, at every full turn the notches should line up. If they do not, then it is obvious the timing is off. That's all I was saying. It would just be a quick check. But you are right, if the timing is definitely off, you cannot re-time without removing the belt.
Bart