did he use new head bolts or the old ones? once the head bolts are torqued the stretch, there only 1 time use im pretty sure
I guess new ones. It does not say new bolts on the service report. All I know is everything gasket related is new and the car is no longer leaking oil.