Changed the belt this week-end, not difficult,but, one thing the book does NOT make clear is how far in the pump locking pin should go I used a piece of 3/8" refrigeration grade copper pipe as a "poke" once the cover was off, and by turning the crank back and forth at TDC I found the the poke...