Thanks for the reply; I hadn't thought of a previous-owner tranny swap. In terms of aligning the other 3 cylinders for TDC, would it be a reasonable solution to take off the timing belt cover, and use the (theoretically) now visible cam gear for TDC reference?