No but I'll check it out
On a different topic I dropped the truck off to get some work done under warranty. Mainly a new headgasket as the bolts have streched and it leaking coolant
I ask the service person if they got new headstuds for the job and they say no we will use the old ones they should be alright
I thought all headbolts were a single use thing these days so will see what happens