Did they get all of the wires back in the right places? Also did they have the crank angle/TDC sensor off the head? I have seen those out of time and cause a no start. I think the white wire on the TDC sensor is #1 reference check its signal, if it is intermit... Login to read more.