Hi Geoff, they have Alldata. They looked up the procedure after they screwed it up, then they ordered the tool kit. The tech. tells me he tried to time the engine once he had the kit, but it still won't start. I think they might have bent some valves. Login to read more.