Sounds like he is following the correct procedure. As mentioned there are different length pins. When I did my last timing belt I pulled number 1 spark plug and confirmed the piston was physically at TDC when contacting the pin In The block. Login to read more.