Did they just replace the pump and check the timing? Or did they replace the belt as well. Jumping a tooth shouldn't be a big deal on a worn, 65000 belt, but it may have nicked it somewhat and it just let go under a constant load.
It was time for a new belt at 120 K was it not? Or is the replacement interval less than that?