the Pinto head bolts are stretch bolts and should be renewed everytime- by the book, i know people who have re run the bolts but i would not recommend it

May as well replace the timing belt and tensioner whilst u are doing it too