I have a friend with a 93 Civic LX, SOHC. He bought it without a dizzy, now we have one. How do we set the timing? Is it necessary 2 take off the timing belt? And how to we tell the compression from the exhaust stroke at TDC. I assumed the engine was already on timing since the timing belt never...