Did the customer attempt to 'push start' the car when the battery died? I have seen a few timing belts jump time in those situations. I have replaced batteries in those cars before with no problems. Good Luck. Login to read more.