i was on the expressway yesterday in my '88 honda civic sedan and it lost
power and then shutoff. the timing belt stripped out and i'm hoping a valve
didn't get bent. today i'm planning on installing a new timing belt and
water pump and need to know the easiest way to tell if the pistons are at
TDC top dead center. also does the water pump require any kind of sealant?
all advice is appreciated. Thanks.

-jeff