You can generally use stretch bolts upto 3 times unless stated that you must not reuse them. The trouble is unless you put them in new you have no idea how many times they have been used. They only cost about £20 so just get new ones
well if haynes states it it must be right ,i used to work at engine reconditioners and they reused them all the time they didnt get failures in use or through fastening ,where as they do stretch they arent at point or near point of yield ,if they where they wouldnt clamp head,i would suggest new bolts but i think you protest to much making those that did reuse them worry over something they neednt