My car came with a smaller pulley on the engine with 3 lines on it colored red, white, and black. I'm pretty sure red is TDC. John (the head wrench) and I are not certian that the pulley was put on correctly. Is there anyway to find TDC on a rotary without taking the thing apart? Thanks

Ben
ITA 33